- 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
-
25.03.2025, 1:54 PM CET
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
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Theoretical and practical aspects of algorithmic trading
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
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Theoretical and practical aspects of high-rate GNSS geodetic observations
Complex single machine scheduling : theoretical and practical aspects of sequencing
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Theoretical and practical aspects of algorithmic trading
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
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Theoretical and practical aspects of high-rate GNSS geodetic observations
Complex single machine scheduling : theoretical and practical aspects of sequencing
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Theoretical and practical aspects of algorithmic trading
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
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Theoretical and practical aspects of high-rate GNSS geodetic observations