Programy według cs6725-prover.sf.net
-
UNB Theorem Prover? Wolna
Automatyczne przysłowie theorem zaimplementowane w javie i przy użyciu drzew klauzul. To oprogramowanie będzie w stanie odczytać matematyczne tezy z TPTP i udowodnić lub obalić je.
Automatyczne przysłowie theorem zaimplementowane w javie i przy użyciu drzew klauzul. To oprogramowanie będzie w stanie odczytać matematyczne tezy z TPTP i udowodnić lub obalić je.