Provador de teoremas

De Wiki DAINF

Edição feita às 14h19min de 22 de abril de 2009 por Adolfo (disc | contribs)

(dif) ← Versão anterior | ver versão atual (dif) | Versão posterior → (dif)

Ir para: navegação, pesquisa

Alguns links sobre provadores de teoremas

"Computer Math Proof Shows Reasoning Power", notícia do New York Times de 10/12/1996 comentando um importante resultado matemático obtido por um provador de teoremas
- Correções técnicas à notícia acima
- "Robbins Algebras Are Boolean", página de William McCune sobre o resultado acima

Páginas de Provadores de Teoremas

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Provador_de_teoremas&oldid=1439"

Visualizações

Ferramentas pessoais

Autenticar-se

Pesquisar

Ferramentas