libLogic เป็นห้องสมุดซอฟต์แวร์สําหรับทฤษฎีบทอัตโนมัติที่พิสูจน์ด้วยความสามารถที่ไม่น่าเชื่อในการแก้ไขและมีประสิทธิภาพพิสูจน์ข้อความทั้งหมดที่สามารถพิสูจน์ได้อย่างแม่นยําในทฤษฎีเชิงตรรกะใด ๆ ของคําสั่งใด ๆ โดยไม่มีความช่วยเหลือจากมนุษย์
ประวัติรุ่น
- เวอร์ชัน N/A โพสต์เมื่อ 2011-08-12
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2011-08-12
รายละเอียดหลักสูตร
- ประเภท: พัฒนา > อื่นๆ
- Publisher: liblogic.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: windows