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