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 。