ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. UNB Theorem Prover?

UNB Theorem Prover?

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

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

ประวัติรุ่น

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

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

หลักสูตรที่เกี่ยวข้อง

  • fastAOP ฟรี

    FastAOP เป็นเฟรมเวิร์ก AOP (การเขียนโปรแกรมเชิงด้าน) ที่มีประสิทธิภาพสูงมากสําหรับจาวา เริ่มแรกเฟรมเวิร์ก พัฒนาเพื่อสนับสนุนการจัดทําโปรไฟล์ประสิทธิภาพและการตรวจสอบสําหรับแอปพลิเคชัน J2EE ขนาดใหญ่ที่มีเกือบจะไม่มี overhad ร

  • Butterfly Code Generator ฟรี

    ผีเสื้อเป็นเครื่องกําเนิดไฟฟ้ารหัสที่เรียบง่ายโดยใช้ XMI เป็นอินพุตและแม่แบบ XSLT เพื่อสร้างรหัสประเภทใดก็ได้ มีเทมเพลตหลายแบบรวมถึง EJB, JDO และ Struts ผู้ใช้อาจใช้แม่แบบ ปรับเปลี่ยน หรือสร้างแม่แบบใหม่โดยใช้ XSL

  • Neural network designer ฟรี

    โครงการนี้ประกอบด้วยแอปพลิเคชันนักออกแบบที่ใช้ Windows และไลบรารี (ที่สามารถทํางานบนหลายแพลตฟอร์มรวมถึง Android) พร้อมกับแอปพลิเคชันสาธิตหลายตัว (รวมถึงไคลเอนต์แชทบอท MVC3 และแอปพลิเคชัน Android)มันอาจจะดีที่สุดเมื่อเทียบกั

  • DL-Learner ฟรี

    DL-Learner เป็นเครื่องมือสําหรับแนวคิดการเรียนรู้ใน Description Logics (DLs) จากตัวอย่างที่ผู้ใช้ให้ไว้ ในทํานองเดียวกันสามารถใช้เพื่อเรียนรู้ชั้นเรียนใน OWL ontologies จากวัตถุที่เลือก

  • MakeEmbeddedRootfilesystem ฟรี

    Makerootfs ทําให้ง่ายต่อการสร้างระบบไฟล์รากสําหรับอุปกรณ์ฝังตัว (เช่น ARM based) โดยกระบวนการคอมไพล์ข้ามผ่านสคริปต์เชลล์แพทช์และการกําหนดค่าเริ่มต้นโดยอัตโนมัติ ซึ่งแตกต่างจาก buildroot ที่ใช้ uClibc makerootfs ใช้ glibc เต็ม

  • VCS Agents and Tools ฟรี

    เป้าหมายของโครงการนี้คือการให้ปลั๊กอิน ("agents") สําหรับเซิร์ฟเวอร์คลัสเตอร์ Veritas บนพื้นฐานโอเพ่นซอร์ส

  • Etnia Workbench ฟรี

    ส่วนขยายสําหรับโครงการ CDT wich กําหนดค่าคอมไพเลอร์พิเศษและปลั๊กอินอื่น ๆ เพื่อให้รวมรูปแบบต่างๆ (จริง ๆ แล้ว Texas Instrument & PIC ไมโครโปรเซสเซอร์)

  • Steini\'s Mini Compiler ฟรี

    คอมไพเลอร์ขนาดเล็กของ Steini\'s เป็นคอมไพเลอร์ DOS 16 บิตที่รวดเร็ว โปรดช่วยปรับปรุงภาษาการเขียนโปรแกรมที่เขียนคําสั่งใหม่ คอมไพเลอร์ใช้ชุดของไฟล์แอสเซมบลีสําหรับกระบวนการคอมไพล์

  • JCustomizer ฟรี

    เป้าหมายของโครงการ JCustomizer คือการปรับแต่งทั่วไปและถาวรของ Java Swing / AWT GUI ทุกรันไทม์: แบบอักษรสีข้อความคันเร่ง การควบรวมที่ดีคือการเข้าถึง WYSIWYG สู่ความเป็นสากลโดยไม่ต้องใช้การเขียนโปรแกรม

  • net.sourceforge.ajstruts ฟรี

    ซอร์สโค้ดของบทความ (http://ajstruts.sf.net) ที่ตีพิมพ์ใน 11/2003 ในนิตยสารภาษาเยอรมัน "Java Magazin" แสดงวิธีการปรับ libs บุคคลที่ 3 (เช่นสตรัท) ให้เข้ากับความต้องการของโครงการและง่ายต่อการย้ายข้อมูลไปยังไลบรารี