Library Services | Technical University of Kenya catalog › Results of search for 'su:{Logic.}'

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 2137 results.

« Previous
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
Next »

« Previous
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
Next »

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	1321.	Adaptive Logics for Defeasible Reasoning [electronic resource] : Applications in Argumentation, Normative Reasoning and Default Reasoning / by Christian Straßer. by Straßer, Christian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1322.	Non-commutative Multiple-Valued Logic Algebras [electronic resource] / by Lavinia Corina Ciungu. by Ciungu, Lavinia Corina [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1323.	Heuristic Strategies in the Speeches of Cicero [electronic resource] / by Gábor Tahin. by Tahin, Gábor [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1324.	Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals [electronic resource] / by Anna Horská. by Horská, Anna [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1325.	Epistemology, Context, and Formalism [electronic resource] / edited by Franck Lihoreau, Manuel Rebuschi. by Lihoreau, Franck [editor.] \| Rebuschi, Manuel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1326.	Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics [electronic resource] / by Ulianov Montano. by Montano, Ulianov [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1327.	Practical Aspects of Declarative Languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / edited by Matthew Flatt, Hai-Feng Guo. by Flatt, Matthew [editor.] \| Guo, Hai-Feng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1328.	Big Data Integration Theory [electronic resource] : Theory and Methods of Database Mappings, Programming Languages, and Semantics / by Zoran Majkić. by Majkić, Zoran [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1329.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales. by Croitoru, Madalina [editor.] \| Rudolph, Sebastian [editor.] \| Woltran, Stefan [editor.] \| Gonzales, Christophe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1330.	Verification of Business Rules Programs [electronic resource] / by Bruno Berstel-Da Silva. by Berstel-Da Silva, Bruno [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1331.	Trends in Functional Programming [electronic resource] : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / edited by Jay McCarthy. by McCarthy, Jay [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1332.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival. by McMillan, Kenneth L [editor.] \| Rival, Xavier [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1333.	Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko. by Cohen, Ernie [editor.] \| Rybalchenko, Andrey [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1334.	Membrane Computing [electronic resource] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa. by Alhazov, Artiom [editor.] \| Cojocaru, Svetlana [editor.] \| Gheorghe, Marian [editor.] \| Rogozhin, Yurii [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1335.	Kripke’s Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux / by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber. by Gasquet, Olivier [author.] \| Herzig, Andreas [author.] \| Said, Bilal [author.] \| Schwarzentruber, François [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1336.	Handbook of Philosophical Logic [electronic resource] : Volume 17 / edited by Dov M. Gabbay, Franz Guenthner. by Gabbay, Dov M [editor.] \| Guenthner, Franz [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1337.	Krister Segerberg on Logic of Actions [electronic resource] / edited by Robert Trypuz. by Trypuz, Robert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1338.	Pluralism in Mathematics: A New Position in Philosophy of Mathematics [electronic resource] / by Michèle Friend. by Friend, Michèle [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1339.	David Makinson on Classical Methods for Non-Classical Problems [electronic resource] / edited by Sven Ove Hansson. by Hansson, Sven Ove [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	1340.	Recent Progress in General Topology III [electronic resource] / edited by K.P. Hart, J. van Mill, P. Simon. by Hart, K.P [editor.] \| van Mill, J [editor.] \| Simon, P [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics