libLogic

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

libLogic เป็นห้องสมุดซอฟต์แวร์สําหรับทฤษฎีบทอัตโนมัติที่พิสูจน์ด้วยความสามารถที่ไม่น่าเชื่อในการแก้ไขและมีประสิทธิภาพพิสูจน์ข้อความทั้งหมดที่สามารถพิสูจน์ได้อย่างแม่นยําในทฤษฎีเชิงตรรกะใด ๆ ของคําสั่งใด ๆ โดยไม่มีความช่วยเหลือจากมนุษย์

ประวัติรุ่น

  • เวอร์ชัน N/A โพสต์เมื่อ 2011-08-12
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2011-08-12

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