Your search returned 5 results.

Results
	1.		Image from Amazon.com	A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. by Kamareddine, Fairouz [author.] Laan, Twan [author.] Nederpelt, Rob [author.] SpringerLink (Online service) Series: Applied Logic Series ; 29Publisher: Dordrecht : Springer Netherlands, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. by Thielscher, Michael [author.] SpringerLink (Online service) Series: Applied Logic Series ; 33Publisher: Dordrecht : Springer Netherlands, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	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 [author.] Coniglio, Marcelo [author.] Gabbay, Dov M [author.] Gouveia, Paula [author.] Sernadas, Cristina [author.] SpringerLink (Online service) Series: Applied Logic Series ; 35Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. by Braüner, Torben [author.] SpringerLink (Online service) Series: Applied Logic Series ; 37Publisher: Dordrecht : Springer Netherlands, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay. by Metcalfe, George [author.] Olivetti, Nicola [author.] Gabbay, Dov [author.] SpringerLink (Online service) Series: Applied Logic Series ; 36Publisher: Dordrecht : Springer Netherlands, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu