ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/E Equational Theorem Prover へ行く。

*E Equational Theorem Prover - - 一階述語論理用の自動定理証明ソフト [#he4227b2]
|メインページ|>| http://www.eprover.org/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|一階述語論理用の自動定理証明ソフト|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(E Equational Theorem Prover);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[eprover:http://packages.debian.org/eprover]]|~|
|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=eprover]],&soft_addpkg(Ubuntu);|~|

|Ubuntuパッケージ|[[eprover:http://packages.ubuntu.com/eprover]]|~|

|RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=E+Equational+Theorem+Prover]],&soft_addpkg(RPM);|~|
|登録日|2009-04-02|~|

***説明 [#rca1be24]
[[一階述語論理用>ja.wikipedia:一階述語論理用]]の[[自動定理証明>ja.wikipedia:一階述語論理用]]ソフト

----
***コメント [#m032f313]
#comment(above)