Httpspassmpisbmpgde freeware
Httpspassmpisbmpgde
Added: November 22, 2013 | Visits: 291
Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de .
Platforms: *nix
License: Freeware | Size: 20.48 KB | Download (36): spassgui Download |