Call Number (LC) Title Results
QA76.9.A96 I6 1993 Introduction to HOL : a theorem proving environment for higher order logic / 1
QA76.9.A96 I87 2010 Interactive theorem proving first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / 1
QA76.9.A96 I87 2011 Interactive theorem proving second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings / 1
QA76.9.A96 I87 2012 Interactive theorem proving third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / 1
QA76.9.A96 J67 Journal of automated reasoning. 1
QA76.9.A96 K87 1993 Computational logic and proof theory : Third Kurt Go˜del Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /
Computational logic and proof theory Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / 		3
QA76.9.A96 K87 1997 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / 1
QA76.9.A96 L43 1998 Lectures on proof verification and approximation algorithms
Lectures on proof verification and approximation algorithms / 		2
QA76.9.A96 L44 1997 The resolution calculus
The resolution calculus / 		2
QA76.9.A96 L68 Automated theorem proving : a logical basis / 1
QA76.9.A96 M3 2000 Mathematics mechanization and applications / 1
QA76.9.A96 M37 1989 Ontic : a knowledge representation system for mathematics / 2
QA76.9.A96 M38 1996 Automated deduction in equational logic and cubic curves / 2
QA76.9.A96 M43 2005 Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / 		3
QA76.9.A96 N38 2003 Proof technology and computation / 1
QA76.9.A96 N38 2003eb Proof technology and computation / 1
QA76.9.A96 N49 2001 Automated theorem proving : theory and practice / 1
QA76.9.A96 P38 1994 Isabelle : a generic theorem prover / 2
QA76.9.A96 P553 1999 The efficiency of theorem proving strategies : a comparative and asymptotic analysis / 1
QA76.9.A96 P553 1999eb The efficiency of theorem proving strategies : a comparative and asymptotic analysis / 1