TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2011
Anzahl der Einträge: 1.
2011
Gaspar, Jaime (2011)
Proof interpretations: theoretical and practical aspects.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung