Results of search for 'su:"Mathematical Logic and Foundations"'

Results
	1.	Adapting Proofs-as-Programs by Iman Poernomo, John N. Crossley, Martin Wirsing Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	2.	Theory and Applications of Satisfiability Testing by Holger H. Hoos, David G. Mitchell Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	3.	Automata, Languages and Programming by Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	4.	Computer Science Logic by Luke Ong Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	5.	Theory and Applications of Satisfiability Testing by Fahiem Bacchus, Toby Walsh Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	6.	Mechanizing Mathematical Reasoning by Dieter Hutter, Werner Stephan Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	7.	Processes, Terms and Cycles: Steps on the Road to Infinity by Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	8.	Developments in Language Theory by Cristian S. Calude, Elena Calude, Michael J. Dinneen Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	9.	Parameterized Complexity Theory by J. Flum, M. Grohe Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2006 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	10.	Computer Science Logic by Zolt�n �sik Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2006 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	11.	Theory and Applications of Satisfiability Testing - SAT 2006 by Armin Biere, Carla P. Gomes Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2006 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	12.	Innovations in Fuzzy Clustering by Mika Sato-Ilic Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2006 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	13.	Decision Theory and Multi-Agent Planning by Giacomo Della Riccia, Didier Dubois, Rudolf Kruse, Hans-Joachim Lenz Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2006 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	14.	Nonlinear Dimensionality Reduction by John A. Lee, Michel Verleysen Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2007 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	15.	Logical Foundations of Computer Science by Sergei Artemov, Anil Nerode Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2007 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	16.	Computer Science Logic by Jacques Duparc, Thomas A. Henzinger Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2007 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	17.	Theory and Applications of Satisfiability Testing - SAT 2007 by Joao Marques-Silva, Karem A. Sakallah Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2007 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	18.	New Computational Paradigms by S.B. Cooper, Benedikt L�we, Andrea Sorbi Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2008 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	19.	New Developments in Formal Languages and Applications by Gemma Bel-Enguix, M Dolores Jim�nez-L�pez, Carlos Martin-Vide Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2008 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	20.	Algorithms in Invariant Theory by Bernd Sturmfels Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2008 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 70 results.