TU | ULB | Aktuell | Service | Recherche | Fachinformation | Sammlungen | Infos A-Z | Kontakt |
TU Darmstadt / ULB / TUbiblio
EnglishCookie löschen - die Sprache durch die Browsereinstellungen bestimmen

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 Sat Mar 23 03:05:46 2019 CET generiert.
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung