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

Results
	341.	Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings / edited by Kwangkeun Yi. by Yi, Kwangkeun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3780 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
	342.	Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach. by Lau, Kung-Kiu [editor.] Banach, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3785 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
	343.	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / edited by Boi V. Faltings, Adrian Petcu, François Fages, Francesca Rossi. by Faltings, Boi V [editor.] Petcu, Adrian [editor.] Fages, François [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3419 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
	344.	Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Hutter, Dieter [editor.] Stephan, Werner [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2605 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
	345.	Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum. by Eijk, Rogier M [editor.] Huget, Marc-Philippe [editor.] Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3396 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
	346.	Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H [editor.] Dastani, Mehdi [editor.] Dix, Jürgen [editor.] Fallah Seghrouchni, Amal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3346 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
	347.	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Ganter, Bernhard [editor.] Godin, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3403 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
	348.	Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E [editor.] Jones, Cliff B [editor.] Sanders, Jeff W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3525 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
	349.	Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings / edited by Asaf Adi, Suzette Stoutenburg, Said Tabet. by Adi, Asaf [editor.] Stoutenburg, Suzette [editor.] Tabet, Said [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3791 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
	350.	High Performance Embedded Architectures and Compilers [electronic resource] : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings / edited by Tom Conte, Nacho Navarro, Wen-mei W. Hwu, Mateo Valero, Theo Ungerer. by Conte, Tom [editor.] Navarro, Nacho [editor.] Hwu, Wen-mei W [editor.] Valero, Mateo [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3793 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
	351.	Adaptive Agents and Multi-Agent Systems II [electronic resource] : Adaptation and Multi-Agent Learning / edited by Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso. by Kudenko, Daniel [editor.] Kazakov, Dimitar [editor.] Alonso, Eduardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3394 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
	352.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / edited by Franz Baader, Andrei Voronkov. by Baader, Franz [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3452 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	353.	Component Deployment [electronic resource] : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings / edited by Alan Dearle, Susan Eisenbach. by Dearle, Alan [editor.] Eisenbach, Susan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3798 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
	354.	STACS 2006 [electronic resource] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings / edited by Bruno Durand, Wolfgang Thomas. by Durand, Bruno [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3884 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
	355.	Membrane Computing [electronic resource] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / edited by Rudolf Freund, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa. by Freund, Rudolf [editor.] Păun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3850 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
	356.	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / edited by Sundar Sarukkai, Sandeep Sen. by Sarukkai, Sundar [editor.] Sen, Sandeep [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3821 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
	357.	Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer. by Middeldorp, Aart [editor.] Oostrom, Vincent [editor.] Raamsdonk, Femke [editor.] Vrijer, Roel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3838 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
	358.	Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / edited by Isabelle Bloch, Alfredo Petrosino, Andrea G. B. Tettamanzi. by Bloch, Isabelle [editor.] Petrosino, Alfredo [editor.] Tettamanzi, Andrea G. B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3849 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
	359.	Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Ur, Shmuel [editor.] Bin, Eyal [editor.] Wolfsthal, Yaron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3875 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
	360.	Programming Multi-Agent Systems [electronic resource] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi M. Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H [editor.] Dastani, Mehdi M [editor.] Dix, Jürgen [editor.] Fallah Seghrouchni, Amal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3862 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.