TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

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

[Anderes] , (2004)

Diese Liste wurde am Sat Nov 17 03:29:33 2018 CET generiert.