Periódicos correntes

Your search returned 4 results.

Results
	1.	No cover image available No cover image available No cover image available Algorithmen, rekursive Funktionen und formale Sprachen/ von Wilfried Brauer und Klaus Indermark. by Brauer, Wilfried Indermark, Klaus [joint author.] Series: B. I. Hochschulskripten ; 817. Publication details: Mannheim: Bibliographisches Institute, [1968] Availability: Items available for loan: Castorina (1)Call number: 511.3 B825a 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions/ Martin Davis. by Davis, Martin, 1928- [ed.] Publication details: Hewlett, N.Y.: Raven Press, [1965] Availability: Items available for loan: Castorina (1)Call number: 511.3 D263u 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	No cover image available No cover image available No cover image available Computability, 1973-1974/ Martin Davis ; notes by Barry Jacobs. by Davis, Martin, 1928- Jacobs, Barry Courant Institute of Mathematical Sciences Publication details: New York: Courant Institute of Mathematical Sciences, c1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Turing machines with sublogarithmic space/ Andrzej Szepietowski. by Szepietowski, Andrzej Series: Lecture notes in computer science ; 843. Publication details: Berlin ; New York: Springer-Verlag, c1994 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha