UNB Theorem Prover?
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 3 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur UNB Theorem Prover?
Theorem Prover automatisé mis en œuvre en Java et en utilisant des arbres clause. Ce logiciel sera capable de lire les théoriques mathématiques de TPTP et de les prouver ou de les réfuter.