- Alternative title
-
Beweisinterpretationen: theoretische und praktische Aspekte
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2011
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek Darmstadt
- (when)
-
2011
- Creator
- Contributor
- URN
-
urn:nbn:de:tuda-tuprints-28518
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Gaspar, Jaime
- Kohlenbach, Ulrich
- Oliva, Paulo
- Streicher, Thomas
- Universitäts- und Landesbibliothek Darmstadt
Time of origin
- 2011
Other Objects (12)
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Theoretical and practical aspects of algorithmic trading
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Applied proof theory: proof interpretations and their use in mathematics
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of SPIN model checking : proceedings
Theoretical and practical aspects of high-rate GNSS geodetic observations
Inflation targeting in the United Kingdom : theoretical and practical aspects
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Theoretical and practical aspects of algorithmic trading
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Applied proof theory: proof interpretations and their use in mathematics
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of SPIN model checking : proceedings
Theoretical and practical aspects of high-rate GNSS geodetic observations
Inflation targeting in the United Kingdom : theoretical and practical aspects
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Theoretical and practical aspects of algorithmic trading
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Applied proof theory: proof interpretations and their use in mathematics
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of SPIN model checking : proceedings
Theoretical and practical aspects of high-rate GNSS geodetic observations
Inflation targeting in the United Kingdom : theoretical and practical aspects