Fundamentals of a theory of types and declarations Contract 1013211

Bibliographische Detailangaben

1. Verfasser:	Mahr, Bernd (VerfasserIn)
Körperschaften:	Projektgruppe Künstliche Intelligenz und Textverstehen, Fachbereich 20 - Informatik, Technische Universität Berlin (BerichterstatterIn), Deutschland Bundesminister für Forschung und Technologie (BerichterstatterIn)
Weitere Verfasser:	Sträter, Werner (VerfasserIn), Umbach, Carla (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Techn. Univ., Fachbereich Informatik, Projektgruppe KIT 1990
Schriftenreihe:	KIT-Report KIT FAST 82
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!