Benutzerdefiniertes Cover
Zur Pragmatik eines operationalisierten [lambda]-Kalküls als Basis für interaktive Reduktionssysteme / Ralf Martin Zimmer
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 192Verlag: München ; Wien : Oldenbourg, 1991Beschreibung: 442 S : Ill ; 23 cmISBN:- 3486219561
- 3
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 3449 | Verfügbar | 45122104090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20221111 DE-640 3 pdager