広告
- 追加された行はこの色 です。
- 削除された行はこの色 です。
- soft/MGTP へ行く。
**[[MGTP>soft/MGTP]] [#i8817714] |メインページ| http://ftp.icot.or.jp/ARCHIVE/Museum/SOFTWARE/MGTP/| |参考ページ1| http://www.icot.or.jp/ARCHIVE/Museum/FinalReport/appendix/node6.html| |参考ページ2| http://| |ライセンス|フリー| |カテゴリ|[[[科学・技術/数学・統計学>category/科学・技術/数学・統計学]]]| |概要|モデル生成型の定理証明システム| ***説明 [#o8f7c973] [[ICOT:http://www.icot.or.jp/]]により開発された並列定理証明システム ---- ***コメント [#o92b96d6] #comment(above)広告