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

Results
	241.	Rough Sets and Knowledge Technology [electronic resource] : First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006. Proceedings / edited by Guo-Ying Wang, James F. Peters, Andrzej Skowron, Yiyu Yao. by Wang, Guo-Ying [editor.] Peters, James F [editor.] Skowron, Andrzej [editor.] Yao, Yiyu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4062 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
	242.	Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Mirosław Truszczyński. by Etalle, Sandro [editor.] Truszczyński, Mirosław [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4079 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
	243.	Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning. by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4098 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
	244.	Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings / edited by Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir. by Roth-Berghofer, Thomas R [editor.] Göker, Mehmet H [editor.] Güvenir, H. Altay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4106 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
	245.	Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers / edited by F. Acar Savacı. by Savacı, F. Acar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3949 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
	246.	Geometric Modeling and Processing - GMP 2006 [electronic resource] : 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings / edited by Myung-Soo Kim, Kenji Shimada. by Kim, Myung-Soo [editor.] Shimada, Kenji [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4077 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
	247.	Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) / by Guerino Mazzola, Gérard Milmeister, Jody Weissmann. by Mazzola, Guerino [author.] Milmeister, Gérard [author.] Weissmann, Jody [author.] SpringerLink (Online service) 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
	248.	Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar. by Furbach, Ulrich [editor.] Shankar, Natarajan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4130 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
	249.	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes. by Biere, Armin [editor.] Gomes, Carla P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4121 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
	250.	Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen. by Ibarra, Oscar H [editor.] Yen, Hsu-Chun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4094 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
	251.	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev [editor.] Nipkow, Tobias [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4085 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
	252.	Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II / edited by De-Shuang Huang, Kang Li, George William Irwin. by Huang, De-Shuang [editor.] Li, Kang [editor.] Irwin, George William [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4114 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
	253.	Advances in Natural Language Processing [electronic resource] : 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings / edited by Tapio Salakoski, Filip Ginter, Sampo Pyysalo, Tapio Pahikkala. by Salakoski, Tapio [editor.] Ginter, Filip [editor.] Pyysalo, Sampo [editor.] Pahikkala, Tapio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4139 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
	254.	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4144 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
	255.	Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings / edited by Kwangkeun Yi. by Yi, Kwangkeun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4134 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
	256.	Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings / edited by Renate A. Schmidt. by Schmidt, Renate A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4136 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
	257.	OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase. by Kohlhase, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4180 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
	258.	Reasoning, Action and Interaction in AI Theories and Systems [electronic resource] : Essays Dedicated to Luigia Carlucci Aiello / edited by Oliviero Stock, Marco Schaerf. by Stock, Oliviero [editor.] Schaerf, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4155 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
	259.	Transactions on Rough Sets V [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Peters, James F [editor.] Skowron, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4100 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
	260.	Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / edited by Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel. by Alferes, Jóse Júlio [editor.] Bailey, James [editor.] May, Wolfgang [editor.] Schwertel, Uta [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4187 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

Series

Topics

Your search returned 966 results.