LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:homework06a [2008/04/01 10:26]
vkuncak
sav08:homework06a [2008/04/01 10:31] (current)
vkuncak
Line 5: Line 5:
 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]] (only the first 1900 pages)   * [[http://​mitpress.mit.edu/​catalog/​item/​default.asp?​ttype=2&​tid=8574|Handbook of Automated Reasoning]] (only the first 1900 pages)
-  * [[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]] ​(and [[http://​www.voronkov.com/​|Voronkov.com]])
   * [[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]]