Library Services | Technical University of Kenya catalog › Results of search for 'se,phr:"Applied Logic Series,"'

Your search returned 6 results.

	1.	A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. by Kamareddine, Fairouz \| Laan, Twan \| Nederpelt, Rob \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. by Thielscher, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter \| Coniglio, Marcelo \| Gabbay, Dov M \| Gouveia, Paula \| Sernadas, Cristina \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay. by Metcalfe, George \| Olivetti, Nicola \| Gabbay, Dov \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	5.	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. by Braüner, Torben \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	6.	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. by Braüner, Torben [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)

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