Your search returned 4 results.

Sort
Results
1.
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.

2.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen. by
  • Hermes, Hans
Series: Grundlehren der mathematischen Wissenschaften ; Bd. 109.
Publication details: Berlin: Springer, 1961
Availability: Items available for loan: Castorina (2)Call number: 511.3 H553a 1961 IMPA, ...

3.
Enumerability, decidability, computability;: An introduction to the theory of recursive functions/ Translated by G. T. Hermann and O. Plassmann. by
  • Hermes, Hans
Series: Grundlehren der mathematischen Wissenschaften ; Bd. 127.
Edition: 2d rev. ed.
Language: engger
Publication details: Berlin: New York: Springer, 1969
Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA.

4.
Algorithms and recursive functions/ [by] A. I. Malcev. Translated from the first Russian ed. by Leo F. Boron, with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki. by
  • Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Series: Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics
Language: engrus
Publication details: Groningen: Wolters-Noordhoff, [1970]
Availability: Items available for loan: Castorina (1)Call number: 511.3 M261a 1970 IMPA.

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


Powered by Koha