libLogic

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 3.0/5 - ‎1 ‎評分

libLogic 是一個軟體庫,用於自動定理證明,具有正確和高效地證明任何順序邏輯理論中所有可證明語句的能力,無需人工説明。

版本歷史記錄

  • 版本 N/A 發佈於 2011-08-12
    若干修復和更新
  • 版本 N/A 發佈於 2011-08-12

軟體細節