![](/statics/img/blank.png)
libLogic
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 3.0/5 - 1 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ libLogic
libLogic เป็นห้องสมุดซอฟต์แวร์สําหรับทฤษฎีบทอัตโนมัติที่พิสูจน์ด้วยความสามารถที่ไม่น่าเชื่อในการแก้ไขและมีประสิทธิภาพพิสูจน์ข้อความทั้งหมดที่สามารถพิสูจน์ได้อย่างแม่นยําในทฤษฎีเชิงตรรกะใด ๆ ของคําสั่งใด ๆ โดยไม่มีความช่วยเหลือจากมนุษย์