Your search returned 5 results.

Results
	1.		Image from Amazon.com	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. by Artemov, Sergei N [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4514Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 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	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9537 Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 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	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7734Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 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	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5407Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 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	Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos. by Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta) ScienceDirect eBooks Series: Studies in computer science and artificial intelligence ; 13.1996 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