Provadores de Teoremas
De Wiki DAINF
(Diferença entre revisões)
m (→Links) |
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://portal.acm.org/citation.cfm?id=645903.672930&coll=GUIDE&dl=GUIDE Effective Theorem Proving for Hardware Verification] | ||
Edição de 01h53min de 13 de agosto de 2008
Links
Geoff Sutcliffe's Overview of Automated Theorem Proving Effective Theorem Proving for Hardware Verification
