Provador de teoremas

De Wiki DAINF
Edição feita às 14h24min de 22 de abril de 2009 por Adolfo (disc | contribs)

Alguns links sobre provadores de teoremas



Páginas de Provadores de Teoremas

  • EQP - Equational Prover
    • "EQP is an automated theorem proving program for first-order equational logic."
  • Otter e Mace2
    • "Otter is an automated theorem prover for first-order and equational logic, and Mace2 searches for finite models and counterexamples."
    • Artigo sobre o Otter na Wikipedia
  • Prover8 e Mace4
    • "Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover."
Ferramentas pessoais