libLogic

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

libLogic 是一个软件库,用于自动定理证明,具有正确和高效地证明任何顺序逻辑理论中所有可证明语句的能力,无需人工帮助。

版本历史记录

  • 版本 N/A 发布于 2011-08-12
    若干修复和更新
  • 版本 N/A 发布于 2011-08-12

软件信息