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

软件信息