Limit search to items available for checkout
Nearby Call Numbers are:
Result Page   Prev Next
Save Marked Records Save All On Page
Mark   Media Year
QA76.9.A96 I87 2012    
      Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13 ITP (Conference)  BOOK c2012
      Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13 ITP (Conference)  BOOK c2012
QA76.9.A96 J67 : Internet     
      Journal of automated reasoning [electronic resource].   E-PERIODICAL  
QA76.9 .A96 M37 1989    
      Ontic : a knowledge representation system for mathematics / David A. McAllester. McAllester, David A.  BOOK c1989
      Ontic : a knowledge representation system for mathematics / David A. McAllester. McAllester, David A.  BOOK c1989
QA76.9.A96 M43 2005    
      Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th   BOOK 2005
      Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th   BOOK 2005
QA76.9.A96 M67 2003    
      Relationships between interaction, definitions, and proof [electronic resource] / by German Alonso Mo Moreno, German Alonso,  MANUSCRIPT 2003
      Relationships between interaction, definitions, and proof [electronic resource] / by German Alonso Mo Moreno, German Alonso,  MANUSCRIPT 2003
QA76.9.A96 N38 2003eb : Internet     
      Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies. NATO Advanced Study Institute on Proof Technology and Computation  E-BOOK 2006
QA76.9.A96 S36 1980    
      Using sophisticated models in resolution theorem proving / David M. Sandford. Sandford, David M.  BOOK 1980
      Using sophisticated models in resolution theorem proving / David M. Sandford. Sandford, David M.  BOOK 1980
QA76.9.A96 S42713 1998    
      Gems of theoretical computer science / Uwe Schöning, Randall J. Pruim ; [translated from the German b Schöning, Uwe,  BOOK c1998
      Gems of theoretical computer science / Uwe Schöning, Randall J. Pruim ; [translated from the German b Schöning, Uwe,  BOOK c1998
QA76.9.A96 S62 1987    
      From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyer Snyers, Dominique,  BOOK c1987
      From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyer Snyers, Dominique,  BOOK c1987
QA76.9.A96 S63 1997    
      Deduction systems / Rolf Socher-Ambrosius, Patricia Johann. Socher-Ambrosius, Rolf.  BOOK c1997
      Deduction systems / Rolf Socher-Ambrosius, Patricia Johann. Socher-Ambrosius, Rolf.  BOOK c1997
QA76.9.A96 S64 1983    
      Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors. Special Session on Automatic Theorem Proving  BOOK 1984
      Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors. Special Session on Automatic Theorem Proving  BOOK 1984
QA76.9 .A96 S72 1996    
      Resolution proof systems : an algebraic theory / by Zbigniew Stachniak. Stachniak, Zbigniew.  BOOK c1996
      Resolution proof systems : an algebraic theory / by Zbigniew Stachniak. Stachniak, Zbigniew.  BOOK c1996
QA76.9.A96 T33 2002    
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2002  BOOK c2002
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2002  BOOK c2002
QA76.9.A96 T33 2003    
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2003  BOOK 2003
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2003  BOOK 2003
QA76.9.A96 T33 2005    
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2005  BOOK 2005
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2005  BOOK 2005
QA76.9.A96 T33 2007    
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2007  BOOK c2007
      Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2 TABLEAUX 2007  BOOK c2007
QA76.9.A96 T33 2009    
      Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLE TABLEAUX 2009  BOOK c2009
      Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLE TABLEAUX 2009  BOOK c2009
QA76.9.A96 T33 2011    
      Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLE TABLEAUX 2011  BOOK c2011
      Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLE TABLEAUX 2011  BOOK c2011
QA76.9.A96 T655 2000    
      Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, US TPHOLs  BOOK c2000
      Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, US TPHOLs  BOOK c2000
QA76.9.A96 T655 2001    
      Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotl TPHOLs  BOOK c2001
      Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotl TPHOLs  BOOK c2001
QA76.9.A96 T655 2002    
      Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA TPHOLs 2002  BOOK c2002
      Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA TPHOLs 2002  BOOK c2002
QA76.9.A96 T655 2003    
      Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, Sep TPHOLs  BOOK c2003
      Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, Sep TPHOLs  BOOK c2003
QA76.9.A96 T655 2004    
      Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, TPHOLs  BOOK 2004
      Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, TPHOLs  BOOK 2004
QA76.9 .A96 T655 2005    
      Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, Augu TPHOLs  BOOK 2005
      Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, Augu TPHOLs  BOOK 2005
QA76.9 .A96 T655 2007    
      Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, TPHOLs  BOOK c2007
      Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, TPHOLs  BOOK c2007
QA76.9 .A96 T655 2008    
      Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada TPHOLs  BOOK 2008
      Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada TPHOLs  BOOK 2008
QA76.9 .A96 T96 1999    
      Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 TYPES '99  BOOK 2001
      Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 TYPES '99  BOOK 2001
QA76.9 .A96 T96 2002    
      Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, Apr TYPES 2002  BOOK c2003
      Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, Apr TYPES 2002  BOOK c2003
QA76.9 .A96 T96 2003    
      Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, TYPES 2003  BOOK c2004
      Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, TYPES 2003  BOOK c2004
QA76.9 .A96 T96 2004    
      Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 1 TYPES 2004  BOOK 2006
      Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 1 TYPES 2004  BOOK 2006
QA76.9 .A96 T96 2007    
      Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May TYPES 2007  BOOK c2008
      Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May TYPES 2007  BOOK c2008
QA76.9 .A96 T96 2008    
      Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 200 TYPES 2008  BOOK 2009
      Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 200 TYPES 2008  BOOK 2009
QA76.9 .A96 W35 1987    
      A many-sorted calculus based on resolution and paramodulation / Christoph Walther. Walther, Christoph.  BOOK 1987
      A many-sorted calculus based on resolution and paramodulation / Christoph Walther. Walther, Christoph.  BOOK 1987
QA76.9.A96 W45 1988    
      Theorem prover for autoepistemic logic / by Curtis Ray Welborn. Welborn, Curtis Ray,  MANUSCRIPT 1988
      Theorem prover for autoepistemic logic / by Curtis Ray Welborn. Welborn, Curtis Ray,  MANUSCRIPT 1988
      Theorem prover for autoepistemic logic / by Curtis Ray Welborn. Welborn, Curtis Ray,  MANUSCRIPT 1988
QA76.9 .A96 W6 1996    
      The automation of reasoning : an experimenter's notebook with OTTER tutorial / Larry Wos. Wos, Larry.  BOOK c1996
      The automation of reasoning : an experimenter's notebook with OTTER tutorial / Larry Wos. Wos, Larry.  BOOK c1996
QA76.9 .A96 W67 1988    
      Automated reasoning : 33 basic research problems / Larry Wos. Wos, Larry.  BOOK c1988
      Automated reasoning : 33 basic research problems / Larry Wos. Wos, Larry.  BOOK c1988
QA76.9.A965 F57 2004beb : Internet     
      A first look at Solution Installation for Autonomic Computing / Bart Jacob [and others].   E-BOOK 2004
QA76.9.A965 F57 2004eb    
      Business Integration Management using WebSphere BI Modeler and Monitor : a Real World Case Study / IB Redbooks, IBM.  E-BOOK 2004
      Business integration management using WebSphere BI modeler and monitor : a real world case study / Le Gavin, Lee.  E-BOOK 2004
QA76.9 .A97 A39 2008    
      Advanced autonomic networking and communication / Monique Calisti, Sven van der Meer, John Strassner   BOOK 2008
      Advanced autonomic networking and communication / Monique Calisti, Sven van der Meer, John Strassner   BOOK 2008
QA76.9 .A97 A5 2006    
      Autonomic networking : first international IFIP TC6 conference, AN 2006, Paris, France, September 27- AN 2006  BOOK c2006
      Autonomic networking : first international IFIP TC6 conference, AN 2006, Paris, France, September 27- AN 2006  BOOK c2006
QA76.9 .A97 A83 2006    
      Autonomic and trusted computing : third international conference, ATC 2006, Wuhan, China, September 3 ATC (Conference)  BOOK c2006
      Autonomic and trusted computing : third international conference, ATC 2006, Wuhan, China, September 3 ATC (Conference)  BOOK c2006
QA76.9 .A97 A83 2007    
      Autonomic and trusted computing : 4th international conference, ATC 2007, Hong Kong, China, July 11-1 ATC (Conference)  BOOK c2007
      Autonomic and trusted computing : 4th international conference, ATC 2007, Hong Kong, China, July 11-1 ATC (Conference)  BOOK c2007
QA76.9 .A97 A83 2008    
      Autonomic and trusted computing : 5th international conference, ATC 2008, Oslo, Norway, June 23-25, 2 ATC (Conference)  BOOK 2008
      Autonomic and trusted computing : 5th international conference, ATC 2008, Oslo, Norway, June 23-25, 2 ATC (Conference)  BOOK 2008
QA76.9 .A97 A83 2009    
      Autonomic and trusted computing : 6th international conference, ATC 2009, Brisbane, Australia, July 7 ATC 2009  BOOK 2009
      Autonomic and trusted computing : 6th international conference, ATC 2009, Brisbane, Australia, July 7 ATC 2009  BOOK 2009
QA76.9 .A97 A87 2009    
      Autonomic computing and networking / edited by Mieso K. Denko, Laurence Tianruo Yang, Yan Zhang.   BOOK 2009
      Autonomic computing and networking / edited by Mieso K. Denko, Laurence Tianruo Yang, Yan Zhang.   BOOK 2009
QA76.9 .A97 A96 2007    
      Autonomic computing : concepts, infrastructure, and applications / editor(s): Manish Parashar and Sal   BOOK 2007
      Autonomic computing : concepts, infrastructure, and applications / editor(s): Manish Parashar and Sal   BOOK 2007
QA76.9.A97 A96 2007eb : Internet     
      Autonomic computing : concepts, infrastructure, and applications / editor(s): Manish Parashar and Sal   E-BOOK 2007
QA76.9.A97 A98 : Internet     
      Autonomic Computing (ICAC), International Conference on [electronic resource].   E-PERIODICAL  
QA76.9 .A97 A98 2009    
      Autonomic communication / Athanasios V. Vasilakos ... [et al.], editors.   BOOK c2009
      Autonomic computing and communications systems : third international ICST conference, Autonomics 2009 Autonomics (Conference)  BOOK c2010
      Autonomic communication / Athanasios V. Vasilakos ... [et al.], editors.   BOOK c2009
      Autonomic computing and communications systems : third international ICST conference, Autonomics 2009 Autonomics (Conference)  BOOK c2010
QA76.9 .A97 C65 2009    
      Context-aware computing and self-managing systems / edited by Waltenegus Dargie.   BOOK c2009
      Context-aware computing and self-managing systems / edited by Waltenegus Dargie.   BOOK c2009
Save Marked Records Save All On Page
Result Page   Prev Next