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

Results
	121.	Developments in Language Theory by Oscar H. Ibarra, Zhe Dang 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)
	122.	OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] by Michael Kohlhase 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)
	123.	Relational Methods in Computer Science by Wendy MacCaull, Michael Winter, Ivo D�ntsch 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)
	124.	Transactions on Computational Systems Biology VII by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson 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)
	125.	Principles and Practice of Constraint Programming - CP 2006 by Fr�d�ric Benhamou 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)
	126.	Conceptual Structures: Inspiration and Application by Henrik Sch�rfe, Pascal Hitzler, Peter Ohrstrom 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)
	127.	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)
	128.	Advances in Case-Based Reasoning by Thomas Roth-Berghofer, Mehmet H. G�ker, H. Altay G�venir 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)
	129.	Learning Theory by Hans Ulrich Simon, G�bor Lugosi 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)
	130.	Types for Proofs and Programs by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner 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)
	131.	Theory and Applications of Relational Structures as Knowledge Instruments II by Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens 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)
	132.	Membrane Computing by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa 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)
	133.	Functional and Logic Programming by Masami Hagiya, Philip Wadler 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)
	134.	Artificial Intelligence and Soft Computing � ICAISC 2006 by Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek Zurada 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)
	135.	Geometric Modeling and Processing - GMP 2006 by Myung-Soo Kim, Kenji Shimada 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)
	136.	Reasoning, Action and Interaction in AI Theories and Systems by Oliviero Stock, Marco Schaerf 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)
	137.	Implementation and Application of Automata by Oscar H. Ibarra, Hsu-Chun Yen 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)
	138.	Modeling and Retrieval of Context by Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake 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)
	139.	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)
	140.	Rough Sets and Current Trends in Computing by Salavatore Greco, Yukata Hata, Shoji Hirano, Masahiro Inuiguchi, Sadaaki Miyamoto, Hung Son Nguyen, Roman Slowi?ski 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)

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 824 results.