TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "04 Fachbereich Mathematik > Logik > Extraction of Effective Bounds"

Ebene hoch
Springe zu: K
Anzahl der Einträge auf dieser Ebene: 1.

K

Koutsoukou-Argyraki, Angeliki :
Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6101]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2016)

Diese Liste wurde am Sun Feb 17 02:33:48 2019 CET generiert.