Your search returned 2 results.

Results
	1.	Logic for applications by Nerode, Anil, 1932- Shore, Richard A, 1946- Series: Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997 Online access: Publisher description Table of contents only Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	2.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings / by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5407 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search