libLogic

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

に関しては libLogic

libLogicは、人間の援助なしで、あらゆる論理理論において、あらゆる論理理論において正確かつ効率的に証明する、比類のない能力を持つ自動化された定理を証明するソフトウェアライブラリです。