Program menurut cs6725-prover.sf.net
-
UNB Theorem Prover? Gratis
Theorem Prover otomatis diimplementasikan di Jawa dan menggunakan pohon klausa. Perangkat lunak ini akan dapat membaca temama matematika dari TPTP dan membuktikan atau membantahnya.
Theorem Prover otomatis diimplementasikan di Jawa dan menggunakan pohon klausa. Perangkat lunak ini akan dapat membaca temama matematika dari TPTP dan membuktikan atau membantahnya.