TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Safarik, Pavol (2014)
On the extraction of computational content from noneffective convergence proofs in analysis.
Technische Universität Darmstadt
Dissertation, Bibliographie