LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:homework06a [2008/04/01 10:26]
vkuncak
sav08:homework06a [2008/04/01 10:31]
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://​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]]