![](/statics/img/blank.png)
UNB Theorem Prover?
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.0/5 - 3 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O UNB Theorem Prover?
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.