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

Results
	181.	The Calculus of Computation by Aaron R. Bradley, Zohar Manna 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)
	182.	Finite Model Theory and Its Applications by Erich Gr�del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein 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)
	183.	Modelling Distributed Systems by Wan Fokkink 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)
	184.	Machines, Computations, and Universality by J�r�me Durand-Lose, Maurice Margenstern 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)
	185.	Computational Logic in Multi-Agent Systems by Katsumi Inoue, Ken Satoh, Francesca Toni 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)
	186.	Abstraction, Reformulation, and Approximation by Ian Miguel, Wheeler Tuml 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)
	187.	Modeling and Using Context by Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu 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)
	188.	Algebraic Informatics by Symeon Bozapalidis, George Rahonis 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)
	189.	Theorem Proving in Higher Order Logics by Klaus Schneider, Jens Brandt 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)
	190.	Fundamentals of Computation Theory by Erzs�bet Csuhaj-Varj�, Zolt�n �sik 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)
	191.	Program Analysis and Compilation, Theory and Practice by Thomas Reps, Mooly Sagiv, J�rg Bauer 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)
	192.	Algebraic and Proof-theoretic Aspects of Non-classical Logics by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra 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)
	193.	Conceptual Modeling - ER 2007 by Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim 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)
	194.	Formal Methods and Hybrid Real-Time Systems by Cliff B. Jones, Zhiming Liu, Jim Woodcock 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)
	195.	Case-Based Reasoning Research and Development by Rosina O. Weber, Michael M. Richter 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)
	196.	Logic Programming and Nonmonotonic Reasoning by Chitta Baral, Gerhard Brewka, John Schlipf 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)
	197.	Developments in Language Theory by Tero Harju, Juhani Karhum�ki, Arto Lepist� 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)
	198.	Computational Linguistics and Intelligent Text Processing by Alexander Gelbukh 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)
	199.	Recent Advances in Constraints by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi 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)
	200.	Logic Programming by Ver�nica Dahl, Ilkka Niemel� 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)

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 824 results.