![](/statics/img/blank.png)
UNB Theorem Prover?
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 4.0/5 - 3 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre UNB Theorem Prover?
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.