Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=910347808
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/910347808 |
| Art des Inhalts | Hochschulschrift |
| Titel | Zur Pragmatik eines operationalisierten λ-Kalküls als Basis für interaktive Reduktionssysteme / Ralf Martin Zimmer. Gesellschaft für Mathematik und Datenverarbeitung mbH |
| Person(en) | Zimmer, Ralf Martin (Verfasser) |
| Verlag | München ; Wien : Oldenbourg |
| Zeitliche Einordnung | Erscheinungsdatum: 1991 |
| Umfang/Format | 422 S. : graph. Darst. ; 23 cm |
| Hochschulschrift | Zugl.: Kiel, Univ., Diss., 1990 |
| ISBN/Einband/Preis |
978-3-486-21956-2 kart. : ca. DM 100.00 3-486-21956-1 kart. : ca. DM 100.00 |
| Sprache(n) | Deutsch (ger) |
| Beziehungen | Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 192 |
| Anmerkungen | Status nach VGG: vergriffen |
| Schlagwörter | Mehrprozessorsystem ; Funktionale Programmierung ; Nebenläufigkeit ; Lambda-Kalkül ; Reduktionssystem |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: D 91/33660
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SA 22079-192
Bereitstellung in Leipzig |

