TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 1.

Jolly, Paul ; Drossopoulou, Sophia ; Anderson, Christopher ; Ostermann, Klaus :
Simple Dependent Types: Concord.

[Anderes] , (2004)

Diese Liste wurde am Tue Mar 26 03:32:58 2019 CET generiert.