| Verfasst von: | Hermes, Hans |
|---|---|
| Titel: | Enumerability, decidability, computability |
| Titelzusatz: | an introduction to the theory of recursive functions |
| Mitwirkende: | Herman, G. T. [Übers.] |
| Plassmann, O. [Übers.] | |
| Werktitel: | Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit <engl.> |
| Verf.angabe: | Hans Hermes |
| Verlagsort: | Berlin ; Heidelberg [u.a.] |
| Verlag: | Springer |
| Jahr: | 1965 |
| Umfang: | IX, 245 S. |
| Format: | gr. 8° |
| Gesamttitel/Reihe: | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 127 |
| Fussnoten: | Literaturangaben |
| Schlagwörter: | (s)Turing-Maschine |
| (s)Rekursive Funktion | |
| (s)Berechenbarkeit | |
| (s)Unentscheidbarkeit | |
| (s)Rekursive Funktion | |
| (s)Rekursive Funktion | |
| (s)Berechenbarkeit | |
| (s)Entscheidbarkeit | |
| (s)Algorithmentheorie | |
| Dokumenttyp: | Einführung |
| Sprache: | eng |
| RVK-Notation: | SK 130 |
| K10plus-PPN: | 1081263180 |
| Verknüpfungen: | → Übergeordnete Aufnahme |
| Signatur | QR | Standort | Status | |
|---|---|---|---|---|
| 65 B 2888 | Hauptbibliothek Altstadt / Tiefmagazin NC B | bestellbar | ||
| Mediennummer: 01337529 | ||||
| Herme | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | ||
| Mediennummer: 34123838, Inventarnummer: C 505 | ||||
| Herme;;2. Ex. | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | ||
| Mediennummer: 34123839, Inventarnummer: 11308 | ||||