Spassgui является Perl / Tk основе Gui для SPASS (Автоматизированная теорема Prover для первого порядка логики с равенством) http://spass.mpi-sb.mpg.de .
история версии
- Версия 0.5 размещено на 2004-12-07
Несколько исправлений и обновлений - Версия 0.5 размещено на 2004-12-07
Подробная информация о программе
- Категории: Образования > Других
- Издателя: spassgui.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 0.5
- Платформы: linux