Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

Zitiere als: Henke, Friedrich Wilhelm von; Rueß, Harald (2010): Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-3869

Weitere Zitierstile

Thumbnail
Öffnen
 
DOI
10.18725/OPARU-3869
Auch gedruckt in der Bibliothek
QAA 5/A4.94,8
Metadata
Zur Langanzeige
Beteiligte Person(en)
Henke, Friedrich Wilhelm von
Rueß, Harald
Fakultät
Fakultät für Ingenieurwissenschaften und Informatik
Ressourcen- / Medientyp
Bericht, Text
Datum der Freischaltung
2010-02-12
Zusammenfassung
N/A
Lizenz
Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2
LCSH
Type theory. Congresses. Abstracts
GND
Typentheorie
DDC-Sachgruppe
DDC 004 / Data processing & computer science