Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=840587651
Link zu diesem Datensatz | https://d-nb.info/840587651 |
Art des Inhalts | Hochschulschrift |
Titel | Zur Theorie der Enumerationen rekursiv-aufzählbarer Mengen |
Person(en) | Hecker, Hans-Dietrich (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1983 |
Umfang/Format | 122 Bl. ; 30 cm |
Hochschulschrift | Greifswald, Univ., Diss. B, 1983 (Nicht f.d. Austausch) |
Sprache(n) | Deutsch (ger) |
Schlagwörter | Enumeration / rekursiv-aufzählbare Mengen ; Menge (Mathematik) / Enumerationen rekursiv-aufzählbarer ̃ |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie |
Frankfurt |
Signatur: H 84b/5228
Bereitstellung in Frankfurt |
Leipzig |
Signatur: Di 1983 B 5331
Bereitstellung in Leipzig |