• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• soft/E Equational Theorem Prover へ行く。
  • 1 (2009-04-02 (木) 17:47:47)
  • 2 (2011-02-15 (火) 13:19:42)

E Equational Theorem Prover - - 一階述語論理用の自動定理証明ソフト

メインページ	http://www.eprover.org/
参考ページ1	http://
参考ページ2	http://
概要	一階述語論理用の自動定理証明ソフト
カテゴリ	[科学・技術/数学・統計学 ]
関連ソフト	--
検索	E Equational Theorem ProverをGoogleで検索
ライセンス	フリー
Debianパッケージ	eprover
Ubuntuパッケージ	検索 , あればパッケージ登録→
RPMパッケージ	検索 , あればパッケージ登録→
登録日	2009-04-02

説明

一階述語論理用 の自動定理証明 ソフト

コメント