Spassgui adalah Gui berasaskan Perl / Tk untuk SPASS (Pebah Teorem Automatik untuk Logik Pesanan Pertama dengan Kesaksamaan) http://spass.mpi-sb.mpg.de .
sejarah versi
- Versi 0.5 diposkan pada 2004-12-07
Beberapa pembaikan dan pengemaskinian - Versi 0.5 diposkan pada 2004-12-07
Butiran Atur Cara
- Kategori: Pendidikan > Lain
- Penerbit: spassgui.sf.net
- Lesen: Percuma
- Harga: N/A
- Versi: 0.5
- Platform: linux