Custom cover image
Zur Pragmatik eines operationalisierten [lambda]-Kalküls als Basis für interaktive Reduktionssysteme / Ralf Martin Zimmer
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Series: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 192Publisher: München ; Wien : Oldenbourg, 1991Description: 442 S : Ill ; 23 cmISBN:- 3486219561
- 3
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 3449 | Available | 45122104090 |
Total holds: 0
Archivierung prüfen 20221111 DE-640 3 pdager