Spassgui เป็น Perl / Tk ตาม Gui สําหรับ SPASS (เครื่องพิสูจน์ทฤษฎีบทอัตโนมัติสําหรับตรรกะการสั่งซื้อครั้งแรกที่มีความเท่าเทียมกัน) โดย http://spass.mpi-sb.mpg.de .
ประวัติรุ่น
- เวอร์ชัน 0.5 โพสต์เมื่อ 2004-12-07
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน 0.5 โพสต์เมื่อ 2004-12-07
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: spassgui.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 0.5
- แพ ลตฟอร์ม: linux