Arbeitstreffen Typtheorie Zusammenfassung der Beiträge

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Arbeitstreffen Typtheorie (VerfasserIn)
Weitere Verfasser:	Henke, Friedrich W. von (BerichterstatterIn), Rueß, Harald (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Ulm Univ. Ulm, Fak. für Informatik 1994
Schriftenreihe:	Ulmer Informatik-Berichte 1994,8
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	NT: Arbeitstreffen Typtheorie / Friedrich von Henke ; Harald Rueß
Beschreibung:	23 S.