TU Darmstadt / ULB / TUbiblio

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

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
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 Nov 19 06:26:13 2017 CET generiert.