Visão Geral dos Provadores Automáticos de Teoremas

De Wiki DAINF
Edição feita às 11h44min de 24 de abril de 2009 por Adolfo (disc | contribs)
(dif) ← Versão anterior | ver versão atual (dif) | Versão posterior → (dif)

Tradução e Adaptação do texto de Geoff Sutcliffe, disponível em http://www.cs.miami.edu/~tptp/OverviewOfATP.html

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Vis%C3%A3o_Geral_dos_Provadores_Autom%C3%A1ticos_de_Teoremas&oldid=1476"
Ferramentas pessoais