Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

Thumbnail
Download
 
Veröffentlichung
2010-02-12
DOI
10.18725/OPARU-3869
Bericht


Contributors
Henke, Friedrich Wilhelm von
Rueß, Harald
Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Ulm serial
Ulmer Informatik-Berichte
License
Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2
Abstract
N/A
Date created
1994
Subject Headings
Typentheorie [GND]
Type theory. Congresses. Abstracts [LCSH]
Dewey Decimal Group
DDC 004 / Data processing & computer science
Metadata
Show full item record

Citation example

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

Other citation formats