Results of search for 'su:" Proving "' › BEC, Bagalkot catalog

Results
1.	Image from Google Jackets	Logic for Computer Science Foundations of Automatic Theorem Proving by Gallier J.H Material type: Text; Format: print ; Literary form: Not fiction Publication details: Singapore John Wiley 1987 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1)Call number: 1.6404 GAL. Place hold Save to lists
2.	Image from Google Jackets	System Verification by Jefffrey O Grady Material type: Text; Format: print ; Literary form: Not fiction Publication details: London Acadamic 2007 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1)Call number: 001.642Sy GRA. Place hold Save to lists
3.	Image from Amazon.com Image from Google Jackets	Theorem Proving in Higher Order Logics by Joe Hurd, Tom Melham Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
4.	Image from Amazon.com Image from Google Jackets	Theorem Proving in Higher Order Logics by Klaus Schneider, Jens Brandt Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
5.	Image from Amazon.com Image from Google Jackets	Theorem Proving in Higher Order Logics by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
6.	Image from Amazon.com Image from Google Jackets	Theorem Proving in Higher Order Logics by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
7.	Image from Amazon.com Image from Google Jackets	Interactive Theorem Proving by Matt Kaufmann, Lawrence C. Paulson Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
8.	Image from Amazon.com Image from Google Jackets	Interactive Theorem Proving by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
9.	Image from Amazon.com Image from Google Jackets	Interactive Theorem Proving by Lennart Beringer, Amy Felty Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
10.	Image from Amazon.com Image from Google Jackets	Interactive Theorem Proving by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists