Tarafından Programlar cs6725-prover.sf.net
-
UNB Theorem Prover? Ücret -siz
Otomatik Theorem Prover Java uygulanan ve madde ağaçları kullanarak. Bu yazılım TPTP matematiksel teoremleri okumak ve kanıtlamak veya çürütmek mümkün olacak.
Otomatik Theorem Prover Java uygulanan ve madde ağaçları kullanarak. Bu yazılım TPTP matematiksel teoremleri okumak ve kanıtlamak veya çürütmek mümkün olacak.