Results of search for 'su:"Mathematical Logic and Formal Languages"'

Results
	1.	Reconfigurable Computing by Maya B. Gokhale, Paul S. Graham 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.	Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver, Charles Carroll Morgan 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.	Universal Artificial Intelligence by Marcus Hutter 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.	Theoretical Aspects of Computing - ICTAC 2005 by Dang Van Hung, 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)
	5.	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)
	6.	Formal Concept Analysis by Bernhard Ganter, Gerd Stumme, Rudolf Wille 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.	AIIA 2005: Advances in Artificial Intelligence by Sara Manzoni 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.	Modeling and Using Context by Anind Dey, Boicho Kokinov, David Leake, Roy Turner 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.	Logic Programming and Nonmonotonic Reasoning by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina 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)
	10.	Inductive Logic Programming by Stefan Kramer, Bernhard Pfahringer 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)
	11.	Formal Concept Analysis by Robert Godin, Bernhard Ganter 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)
	12.	Machines, Computations, and Universality by Maurice Margenstern 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)
	13.	Compiler Construction by Rastislav Bodik 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)
	14.	Computer Aided Verification by Kousha Etessami, Sriram K. Rajamani 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)
	15.	Correct Hardware Design and Verification Methods by Dominique Borrione, Wolfgang Paul 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)
	16.	Computational Logic in Multi-Agent Systems by Jo�o Leite, Paolo Torroni 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)
	17.	Programming Languages and Systems by Mooly Sagiv 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)
	18.	Natural Language Processing and Information Systems by Andr�s Montoyo, Rafael Munoz, Elisabeth M�tais 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)
	19.	Static Analysis by Chris Hankin, Igor Siveroni 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)
	20.	Automated Deduction � CADE-20 by Robert Nieuwenhuis 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)

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 824 results.