- Weitere Titel
-
Beweisinterpretationen: theoretische und praktische Aspekte
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2011
- Klassifikation
-
Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2011
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:tuda-tuprints-28518
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Gaspar, Jaime
- Kohlenbach, Ulrich
- Oliva, Paulo
- Streicher, Thomas
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2011
Ähnliche Objekte (12)
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Applied proof theory: proof interpretations and their use in mathematics
Theoretical and practical aspects of algorithmic trading
Theoretical and practical aspects of penalized spline smoothing
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of SPIN model checking : proceedings
Complex single machine scheduling : theoretical and practical aspects of sequencing
Investigating graph theoretical modelling aspects coming from practical optimization problems
Inflation targeting in the United Kingdom : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Applied proof theory: proof interpretations and their use in mathematics
Theoretical and practical aspects of algorithmic trading
Theoretical and practical aspects of penalized spline smoothing
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of SPIN model checking : proceedings
Complex single machine scheduling : theoretical and practical aspects of sequencing
Investigating graph theoretical modelling aspects coming from practical optimization problems
Inflation targeting in the United Kingdom : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Applied proof theory: proof interpretations and their use in mathematics
Theoretical and practical aspects of algorithmic trading
Theoretical and practical aspects of penalized spline smoothing
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of SPIN model checking : proceedings
Complex single machine scheduling : theoretical and practical aspects of sequencing
Investigating graph theoretical modelling aspects coming from practical optimization problems