Spassgui 是一個基於 Perl/Tk 的 Gui SPASS (一個自動定理證明一階邏輯與平等) http://spass.mpi-sb.mpg.de 。
版本歷史記錄
- 版本 0.5 發佈於 2004-12-07
若干修復和更新 - 版本 0.5 發佈於 2004-12-07
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: spassgui.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.5
- 作業系統: linux
Spassgui 是一個基於 Perl/Tk 的 Gui SPASS (一個自動定理證明一階邏輯與平等) http://spass.mpi-sb.mpg.de 。