Programas por cs6725-prover.sf.net
-
UNB Theorem Prover? Grátis
Prover de Teorema automatizado implementado em Java e usando árvores de cláusula. Este software será capaz de ler teoremas matemáticos da TPTP e prová-los ou refutá-los.
Prover de Teorema automatizado implementado em Java e usando árvores de cláusula. Este software será capaz de ler teoremas matemáticos da TPTP e prová-los ou refutá-los.