Call Number (LC) Title Results
QA76.9.A96 T655 2000 Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / 1
QA76.9.A96 T655 2001 Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / 1
QA76.9.A96 T655 2002 Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings / 1
QA76.9.A96 T655 2003 Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings / 1
QA76.9.A96 T655 2004eb Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / 1
QA76.9.A96 T655 2005eb Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / 1
QA76.9.A96 T655 2007 Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / 1
QA76.9.A96 T96 Types for proofs and programs. 1
QA76.9.A96 T96 1995 Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5-8, 1995 Selected Papers / 1
QA76.9.A96 T96 1998 Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / 1
QA76.9.A96 T96 2000 Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / 1
QA76.9.A96 T96 2004 Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / 1
QA76.9.A96 T96 2004eb Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / 1
QA76.9.A96 T96 2006eb Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / 1
QA76.9.A96 T96 2007eb Types for proofs and programs international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers / 1
QA76.9.A96 T96 2008 Types for proofs and programs international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / 1
QA76.9.A96 W35 1987 A many-sorted calculus based on resolution and paramodulation /
A many-sorted calculus based on resolution and paramodulation 		3
QA76.9.A96 W55 1991 Instantiation theory : on the foundations of automated deduction /
Instantiation theory on the foundations of automated deduction / 		3
QA76.9.A96 W67 1988 Automated reasoning : 33 basic research problems / 1
QA76.9.A96 W67 1999 A fascinating country in the world of computing : your guide to automated reasoning / 1