spassgui 0.5

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต

Spassgui เป็น Perl / Tk ตาม Gui สําหรับ SPASS (เครื่องพิสูจน์ทฤษฎีบทอัตโนมัติสําหรับตรรกะการสั่งซื้อครั้งแรกที่มีความเท่าเทียมกัน) โดย http://spass.mpi-sb.mpg.de .

ประวัติรุ่น

  • เวอร์ชัน 0.5 โพสต์เมื่อ 2004-12-07
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 0.5 โพสต์เมื่อ 2004-12-07

รายละเอียดหลักสูตร