Call Number (LC) Title Results
QA76.9.A96 P753 2001 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / 2
QA76.9.A96 R57 2005eb Rippling : meta-level guidance for mathematical reasoning / 1
QA76.9.A96 S36 1980 Using sophisticated models in resolution theorem proving / 1
QA76.9.A96 S366 2012eb An introduction to bisimulation and coinduction / 1
QA76.9.A96 S42 1997 The automation of reasoning with incomplete information : from semantic foundations to efficient computation / 1
QA76.9.A96 S42713 1998 Gems of theoretical computer science / 1
QA76.9.A96 S42713 1998eb Gems of theoretical computer science 1
QA76.9.A96 S6 1991 A proof theory for general unification /
A proof theory for general unification 		2
QA76.9.A96 S62 1987 From logic design to logic programming theorem proving techniques and P-functions /
From logic design to logic programming : theorem proving techniques and P-functions / 		2
QA76.9.A96 S63 1997 Deduction systems / 1
QA76.9.A96 S64 1983 Automated theorem proving : after 25 years / 2
QA76.9.A96 S72 1996 Resolution proof systems : an algebraic theory / 1
QA76.9.A96 T33 Automated reasoning with analytic tableaux and related methods. 1
QA76.9.A96 T33 1995 Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / 1
QA76.9.A96 T33 1996 Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / 1
QA76.9.A96 T33 2000 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / 1
QA76.9.A96 T33 2002 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / 2
QA76.9.A96 T33 2005 Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / 1
QA76.9.A96 T33 2007 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings / 1
QA76.9.A96 T33 2009 Automated reasoning with analytic tableaux and related methods 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / 1