Results of search for 'ccl=su:"Logic."' › Sri S.G. Balekundri Central Library and Information Centre catalog

Results
	201.	Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers / edited by Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz. by Gschwind, Thomas [editor.] Aßmann, Uwe [editor.] Nierstrasz, Oscar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3628 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	202.	Applications of Membrane Computing [electronic resource] / edited by Gabriel Ciobanu, Gheorghe Păun, Mario J. Pérez-Jiménez. by Ciobanu, Gabriel [editor.] Păun, Gheorghe [editor.] Pérez-Jiménez, Mario J [editor.] SpringerLink (Online service) Series: Natural Computing Series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	203.	Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Flum, Jörg [author.] Grohe, Martin [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	204.	Computational Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by Jürgen Dix, João Leite. by Dix, Jürgen [editor.] Leite, João [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3259 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	205.	Natural Language Processing – IJCNLP 2004 [electronic resource] : First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers / edited by Keh-Yih Su, Jun’ichi Tsujii, Jong-Hyeok Lee, Oi Yee Kwong. by Su, Keh-Yih [editor.] Tsujii, Jun’ichi [editor.] Lee, Jong-Hyeok [editor.] Kwong, Oi Yee [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3248 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	206.	Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu. by Domaratzki, Michael [editor.] Okhotin, Alexander [editor.] Salomaa, Kai [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3317 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	207.	FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / edited by Kamal Lodaya, Meena Mahajan. by Lodaya, Kamal [editor.] Mahajan, Meena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3328 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	208.	AI 2004: Advances in Artificial Intelligence [electronic resource] : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings / edited by Geoffrey I. Webb, Xinghuo Yu. by Webb, Geoffrey I [editor.] Yu, Xinghuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3339 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	209.	Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings / edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen. by Calude, Cristian S [editor.] Calude, Elena [editor.] Dinneen, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3340 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	210.	Object-Oriented Technology. ECOOP 2004 Workshop Reader [electronic resource] : ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports / edited by Jacques Malenfant, Bjarte M. Østvold. by Malenfant, Jacques [editor.] Østvold, Bjarte M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3344 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	211.	Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings / edited by Manuel V. Hermenegildo, Daniel Cabeza. by Hermenegildo, Manuel V [editor.] Cabeza, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3350 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	212.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. by Barthe, Gilles [editor.] Burdy, Lilian [editor.] Huisman, Marieke [editor.] Lanet, Jean-Louis [editor.] Muntean, Traian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3362 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	213.	Database Theory - ICDT 2005 [electronic resource] : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings / edited by Thomas Eiter, Leonid Libkin. by Eiter, Thomas [editor.] Libkin, Leonid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3363 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	214.	Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Odell, James [editor.] Giorgini, Paolo [editor.] Müller, Jörg P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3382 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	215.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings / edited by Radhia Cousot. by Cousot, Radhia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3385 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	216.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings / edited by Alexander Gelbukh. by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3406 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	217.	Inconsistency Tolerance [electronic resource] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub. by Bertossi, Leopoldo [editor.] Hunter, Anthony [editor.] Schaub, Torsten [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3300 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	218.	Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff. by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3228 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	219.	Fuzzy-Neuro Approach to Agent Applications [electronic resource] : From the AI Perspective to Modern Ontology / by Raymond S. T. Lee. by Lee, Raymond S. T [author.] SpringerLink (Online service) Series: Springer Series in Agent Technology Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	220.	Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Ehrig, Hartmut [author.] Ehrig, Karsten [author.] Prange, Ulrike [author.] Taentzer, Gabriele [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1562 results.