Results of search for 'ccl=su:{Logic.}' › Martin Oduor-Otieno Library catalog

Results
	121.	Reasoning about Preference Dynamics [electronic resource] / by Fenrong Liu. by Liu, Fenrong SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 354 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	122.	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. by Davies, Jim Silva, Leila Simao, Adenilso SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6527 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	123.	Software Architecture [electronic resource] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings / edited by Ivica Crnkovic, Volker Gruhn, Matthias Book. by Crnkovic, Ivica Gruhn, Volker Book, Matthias SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6903 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	124.	Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / edited by H. Jaap Herik, Hiroyuki Iida, Aske Plaat. by Herik, H. Jaap Iida, Hiroyuki Plaat, Aske SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6515 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	125.	Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser. by Kaiser, Łukasz SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6810 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	126.	Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström. by Granström, Johan Georg Granström, Johan Georg SpringerLink (Online service) Series: Logic, Epistemology, and the Unity of Science ; 22 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	127.	Information Systems for Indian Languages [electronic resource] : International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings / edited by Chandan Singh, Gurpreet Singh Lehal, Jyotsna Sengupta, Dharam Veer Sharma, Vishal Goyal. by Singh, Chandan Singh Lehal, Gurpreet Sengupta, Jyotsna Sharma, Dharam Veer Goyal, Vishal SpringerLink (Online service) Series: Communications in Computer and Information Science ; 139 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	128.	Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. by Bultan, Tevfik Hsiung, Pao-Ann SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6996 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	129.	Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011. Proceedings / edited by Sergei O. Kuznetsov, Dominik Ślęzak, Daryl H. Hepting, Boris G. Mirkin. by Kuznetsov, Sergei O Ślęzak, Dominik Hepting, Daryl H Mirkin, Boris G SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6743 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	130.	Foundational Theories of Classical and Constructive Mathematics [electronic resource] / edited by Giovanni Sommaruga. by Sommaruga, Giovanni SpringerLink (Online service) Series: The Western Ontario Series in Philosophy of Science ; 76 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	131.	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / edited by Juergen Dingel, Arnor Solberg. by Dingel, Juergen Solberg, Arnor SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6627 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	132.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. by Delgrande, James P Faber, Wolfgang SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6645 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	133.	Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / edited by Thomas Sturm, Christoph Zengler. by Sturm, Thomas Zengler, Christoph SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6301 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	134.	Schema Matching and Mapping [electronic resource] / edited by Zohra Bellahsene, Angela Bonifati, Erhard Rahm. by Bellahsene, Zohra Bonifati, Angela Rahm, Erhard SpringerLink (Online service) Series: Data-Centric Systems and Applications Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	135.	Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by van Benthem, Johan Gupta, Amitabha Parikh, Rohit SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	136.	Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. by Dowek, Gilles Lévy, Jean-Jacques SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	137.	Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg. by Calude, Cristian S Kari, Jarkko Petre, Ion Rozenberg, Grzegorz SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6714 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	138.	Transactions on Aspect-Oriented Software Development VIII [electronic resource] / edited by Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen. by Katz, Shmuel Mezini, Mira Schwanninger, Christine Joosen, Wouter SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6580 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	139.	Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong. by Ong, Luke SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6690 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	140.	Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa. by Domaratzki, Michael Salomaa, Kai SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6482 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)

The KCAU Library

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 223 results.

More Links

More Links