Zur Pragmatik eines operationalisierten Lambda-Kalküls als basis für interaktive Reduktionssysteme

Diss. Kiel Univ

Bibliographische Detailangaben

1. Verfasser:	Zimmer, R. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1991
Schriftenreihe:	Reports / BONN GMD BER NR 192
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!