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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
Next »

« Previous
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
Next »

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

	1701.	Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky. by Arbab, Farhad [editor.] \| Ölveczky, Peter Csaba [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1702.	Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] \| Nordio, Martin [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1703.	Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers / edited by S. Arumugam, W. F. Smyth. by Arumugam, S [editor.] \| Smyth, W. F [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1704.	Theory and Practice of Computation [electronic resource] : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by Nishizaki, Shin-ya [editor.] \| Numao, Masayuki [editor.] \| Caro, Jaime [editor.] \| Suarez, Merlin Teodosia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1705.	Logic: A Brief Course [electronic resource] / by Daniele Mundici. by Mundici, Daniele [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1706.	Non solo calcoli [electronic resource] : Domande e risposte sui perché della matematica / by Vinicio Villani, Claudio Bernardi, Sergio Zoccante, Roberto Porcaro. by Villani, Vinicio [author.] \| Bernardi, Claudio [author.] \| Zoccante, Sergio [author.] \| Porcaro, Roberto [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1707.	Truth and Falsehood [electronic resource] : An Inquiry into Generalized Logical Values / by Yaroslav Shramko, Heinrich Wansing. by Shramko, Yaroslav [author.] \| Wansing, Heinrich [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1708.	The Realism-Antirealism Debate in the Age of Alternative Logics [electronic resource] / edited by Shahid Rahman, Giuseppe Primiero, Mathieu Marion. by Rahman, Shahid [editor.] \| Primiero, Giuseppe [editor.] \| Marion, Mathieu [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1709.	Special Sciences and the Unity of Science [electronic resource] / edited by Olga Pombo, Juan Manuel Torres, John Symons, Shahid Rahman. by Pombo, Olga [editor.] \| Torres, Juan Manuel [editor.] \| Symons, John [editor.] \| Rahman, Shahid [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1710.	Adiabatic Logic [electronic resource] : Future Trend and System Level Perspective / by Philip Teichmann. by Teichmann, Philip [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1711.	Groundwork in the Theory of Argumentation [electronic resource] : Selected Papers of J. Anthony Blair / by J. Anthony Blair ; edited by Christopher W. Tindale. by Blair, J. Anthony [author.] \| Tindale, Christopher W [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1712.	Between Logic and Reality [electronic resource] : Modeling Inference, Action and Understanding / edited by Majda Trobok, Nenad Miščević, Berislav Žarnić. by Trobok, Majda [editor.] \| Miščević, Nenad [editor.] \| Žarnić, Berislav [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1713.	Analysis and Interpretation in the Exact Sciences [electronic resource] : Essays in Honour of William Demopoulos / edited by Melanie Frappier, Derek Brown, Robert DiSalle. by Frappier, Melanie [editor.] \| Brown, Derek [editor.] \| DiSalle, Robert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1714.	Rudolf Carnap and the Legacy of Logical Empiricism [electronic resource] / edited by Richard Creath. by Creath, Richard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1715.	Topical Themes in Argumentation Theory [electronic resource] : Twenty Exploratory Studies / edited by Frans H. van Eemeren, Bart Garssen. by van Eemeren, Frans H [editor.] \| Garssen, Bart [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1716.	Risk Management Technologies [electronic resource] : With Logic and Probabilistic Models / by E.D. Solozhentsev. by Solozhentsev, E.D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1717.	Epistemology versus Ontology [electronic resource] : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf / edited by P. Dybjer, Sten Lindström, Erik Palmgren, G. Sundholm. by Dybjer, P [editor.] \| Lindström, Sten [editor.] \| Palmgren, Erik [editor.] \| Sundholm, G [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1718.	Integration of World Knowledge for Natural Language Understanding [electronic resource] / by Ekaterina Ovchinnikova. by Ovchinnikova, Ekaterina [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1719.	Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach [electronic resource] / by Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock. by Janssen, Jeroen \| Schockaert, Steven \| Vermeir, Dirk \| de Cock, Martine \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1720.	Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg. by Bergstra, Jan A [author.] \| Middelburg, Cornelis A [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online 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