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

Results
	361.	Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill. by Hill, Patricia M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3901 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
	362.	Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers / edited by Vito Gesú, Francesco Masulli, Alfredo Petrosino. by Gesú, Vito [editor.] Masulli, Francesco [editor.] Petrosino, Alfredo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2955 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
	363.	LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings / edited by José R. Correa, Alejandro Hevia, Marcos Kiwi. by Correa, José R [editor.] Hevia, Alejandro [editor.] Kiwi, Marcos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3887 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
	364.	Modeling Decisions for Artificial Intelligence [electronic resource] : Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Aïda Valls, Josep Domingo-Ferrer. by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Valls, Aïda [editor.] Domingo-Ferrer, Josep [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3885 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
	365.	Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G [editor.] Ghanea-Hercock, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3890 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
	366.	The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk. by Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3600 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
	367.	Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig. by Bollig, Benedikt [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
	368.	Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir. by Aceto, Luca [editor.] Ingólfsdóttir, Anna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3921 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
	369.	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller. by Mycroft, Alan [editor.] Zeller, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3923 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
	370.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Hermanns, Holger [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3920 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
	371.	Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel. by Baresi, Luciano [editor.] Heckel, Reiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3922 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
	372.	Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Peter Sestoft. by Sestoft, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3924 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
	373.	Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz. by Farré, Jacques [editor.] Litovsky, Igor [editor.] Schmitz, Sylvain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3845 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
	374.	Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari. by Valmari, Antti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3925 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
	375.	Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni. by Baldoni, Matteo [editor.] Endriss, Ulle [editor.] Omicini, Andrea [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3904 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
	376.	Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari. by Hespanha, João P [editor.] Tiwari, Ashish [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3927 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
	377.	Neural Nets [electronic resource] : 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers / edited by Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri. by Apolloni, Bruno [editor.] Marinaro, Maria [editor.] Nicosia, Giuseppe [editor.] Tagliaferri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3931 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
	378.	Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Bjørner, Dines [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
	379.	Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch. by MacCaull, Wendy [editor.] Winter, Michael [editor.] Düntsch, Ivo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3929 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
	380.	Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment [electronic resource] : First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers / edited by Joaquin Quiñonero-Candela, Ido Dagan, Bernardo Magnini, Florence d’Alché-Buc. by Quiñonero-Candela, Joaquin [editor.] Dagan, Ido [editor.] Magnini, Bernardo [editor.] d’Alché-Buc, Florence [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3944 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.