広告
広告MGTP - - モデル生成型の定理証明システム
メインページ | http://ftp.icot.or.jp/ARCHIVE/Museum/SOFTWARE/MGTP/ | |
参考ページ1 | http://www.icot.or.jp/ARCHIVE/Museum/FinalReport/appendix/node6.html | |
参考ページ2 | http:// | |
概要 | モデル生成型の定理証明システム | |
カテゴリ | [科学・技術/数学・統計学 ] | |
関連ソフト | -- | |
検索 | MGTPをGoogleで検索 | |
ライセンス | フリー | |
Debianパッケージ | 検索 , | |
Ubuntuパッケージ | 検索 , | |
RPMパッケージ | 検索 , | |
FreeBSD Ports | 検索 , | |
登録日 | 2008-4-28以前 |
説明
ICOT により開発された並列定理証明システム