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 ]) |
(→Lista não organizada) |
||
(4 edições intermediárias de um usuário não apresentadas) | |||
Linha 1: | Linha 1: | ||
+ | == Lista não organizada == | ||
+ | * Verit. Site: http://www.verit-solver.org/ | ||
== 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] |
+ | |||
+ | [http://portal.acm.org/citation.cfm?id=645903.672930&coll=GUIDE&dl=GUIDE Effective Theorem Proving for Hardware Verification] |
Edição atual tal como 18h21min de 6 de agosto de 2009
Lista não organizada
- Verit. Site: http://www.verit-solver.org/