Zur Pragmatik eines operationalisierten [lambda]-Kalküls als Basis für interaktive Reduktionssysteme / Ralf Martin Zimmer

By:

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:

Subject(s):

Genre/Form:

MSC: MSC: *68-01 | 68N15 | 03B40Action note:

Dissertation note: Zugl.: Kiel, Univ., Diss., 1990 Call number: Grundsignatur: 91 A 3449PPN: PPN: 016041399

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	91 A 3449	Available		45122104090

Total holds: 0

Archivierung prüfen 20221111 DE-640 3 pdager