spassgui 0.5

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

Spassgui 是一個基於 Perl/Tk 的 Gui SPASS (一個自動定理證明一階邏輯與平等) http://spass.mpi-sb.mpg.de 。

版本歷史記錄

  • 版本 0.5 發佈於 2004-12-07
    若干修復和更新
  • 版本 0.5 發佈於 2004-12-07

軟體細節