Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:homework06a [2008/04/01 10:24] vkuncak |
sav08:homework06a [2008/04/01 10:26] vkuncak |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| The following references might be helpful: | The following references might be helpful: | ||
| + | * [[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8574|Handbook of Automated Reasoning]] | ||
| * [[http://portal.acm.org/citation.cfm?id=606318.606321|The design and implementation of VAMPIRE]] | * [[http://portal.acm.org/citation.cfm?id=606318.606321|The design and implementation of VAMPIRE]] | ||
| * [[http://spass.mpi-sb.mpg.de/|SPASS]] | * [[http://spass.mpi-sb.mpg.de/|SPASS]] | ||
| * [[http://citeseer.ist.psu.edu/560030.html|E: A Braniac Theorem Prover]] | * [[http://citeseer.ist.psu.edu/560030.html|E: A Braniac Theorem Prover]] | ||