Provadores de Teoremas
De Wiki DAINF
(Diferença entre revisões)
(Nova página: == Links == [http://www.cs.miami.edu/~tptp/OverviewOfATP.html Geoff Sutcliffe's Overview of Automated Theorem Proving ]) |
m (→Links) |
||
| Linha 1: | Linha 1: | ||
| − | |||
| − | |||
== Links == | == Links == | ||
| − | [http://www.cs.miami.edu/~tptp/OverviewOfATP.html Geoff Sutcliffe's Overview of Automated Theorem Proving ] | + | [*http://www.cs.miami.edu/~tptp/OverviewOfATP.html Geoff Sutcliffe's Overview of Automated Theorem Proving ] |
Edição de 00h41min de 13 de agosto de 2008
Links
[*http://www.cs.miami.edu/~tptp/OverviewOfATP.html Geoff Sutcliffe's Overview of Automated Theorem Proving ]
