Provadores de Teoremas
De Wiki DAINF
(Diferença entre revisões)
m (→Links) |
(→Lista não organizada) |
||
| (2 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] | [http://portal.acm.org/citation.cfm?id=645903.672930&coll=GUIDE&dl=GUIDE Effective Theorem Proving for Hardware Verification] | ||
Edição atual tal como 19h21min de 6 de agosto de 2009
Lista não organizada
- Verit. Site: http://www.verit-solver.org/
