Your search returned 2 results.

Results
	1.	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 Nerode, Anil SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4514 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 A78 2007. Place hold Add to cart (remove)
	2.	Recursion theory / edited by Anil Nerode and Richard A. Shore by Proceedings of the AMS-ASL summer institute on recursion theory held at cornell university Ithaca, New York June 28-July 16 1982 Nerode, anil [editor.] Shore, Richard A [editor.] Series: Proceeding of symposia in pure mathematics ; V.42 Edition: 1a ed. Material type: Text Publication details: Providence, Rhode Island : American Mathematical Society, 1985 Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA9.6 R43 1985 , ... Place hold Add to cart (remove)

Refine your search