
15815 Automated Theorem Proving

[NR01] 
Robert Nieuwenhuis and Alberto Rubio. Paramodulationbased theorem proving. Handbook of Automated Reasoning, Vol.1, pp.371444, Elsevier Science and MIT Press, 2001. 
[ Home  Schedule  Assignments  Handouts  Software  Resources ]
fp@cs
Frank Pfenning