Lab for Automated Reasoning and Analysis LARA


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

Link to this comparison view

sav08:homework06a [2008/04/01 10:26]
sav08:homework06a [2008/04/01 10:31] (current)
Line 5: Line 5:
 The following references might be helpful: The following references might be helpful:
   * [[http://​​catalog/​item/​default.asp?​ttype=2&​tid=8574|Handbook of Automated Reasoning]] (only the first 1900 pages)   * [[http://​​catalog/​item/​default.asp?​ttype=2&​tid=8574|Handbook of Automated Reasoning]] (only the first 1900 pages)
-  * [[http://​​citation.cfm?​id=606318.606321|The design and implementation of VAMPIRE]]+  * [[http://​​citation.cfm?​id=606318.606321|The design and implementation of VAMPIRE]] ​(and [[http://​​|]])
   * [[http://​​|SPASS]]   * [[http://​​|SPASS]]
   * [[http://​​560030.html|E:​ A Braniac Theorem Prover]]   * [[http://​​560030.html|E:​ A Braniac Theorem Prover]]
sav08/homework06a.txt · Last modified: 2008/04/01 10:31 by vkuncak
© EPFL 2018 - Legal notice