spassgui 0.5

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

Spassgui は、http://spass.mpi-sb.mpg.deによる Perl/Tk ベースの Gui for SPASS (等値を持つ一次論理のための自動定理プロバー) です。

バージョン履歴

  • バージョン 0.5 に転記 2004-12-07
    いくつかの修正と更新
  • バージョン 0.5 に転記 2004-12-07

プログラムの詳細

  • カテゴリ: 教育 >
  • パブリッシャー: spassgui.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 0.5
  • プラットフォーム: linux