On recursively enumerable families R1F : recursive non-invariance of the length problem and numberings of R1F / Martin Kummer. [Univ. Karlsruhe, Fak. für Informatik]
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 88,6Publisher: Karlsruhe : Univ., Fak. für Informatik, 1988Description: 35 BlOther title:- Ansetzungssachtitel: On recursively enumerable families RF
- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | ZE 4617-1988,6.1988 | Available | 11271606090 | |
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | Bibliothek / frei aufgestellt | Z 167(23084) | Not for loan | 000691129090 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 2 pdager