- Alternative title
-
Asymptotische Beweisführung in einem Beweisassistenten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2021
- Keyword
-
Evidence
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2021
- Creator
-
Eberl, Manuel
- Contributor
-
Nipkow, Tobias
Dahmen, Sander R.
- URN
-
urn:nbn:de:bvb:91-diss-20210121-1554821-1-2
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 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.
Associated
- Eberl, Manuel
- Nipkow, Tobias
- Dahmen, Sander R.
- Universitätsbibliothek der TU München
Time of origin
- 2021
Other Objects (12)
Experiences from Exporting Major Proof Assistant Libraries
Interactive typed tactic programming in the Coq proof assistant
Isabelle, HOL : a proof assistant for higher order logic
Reliable reconstruction of fine-grained proofs in a proof assistant
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Assistant platforms
Generating mathematical knowledge in the classroom through proof, refutation, and abductive reasoning
Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events
An asymptotic version of the Gowers dichotomy and a new proof of Wagner theorem
User interface design assistant
Experiences from Exporting Major Proof Assistant Libraries
Interactive typed tactic programming in the Coq proof assistant
Isabelle, HOL : a proof assistant for higher order logic
Reliable reconstruction of fine-grained proofs in a proof assistant
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Assistant platforms
Generating mathematical knowledge in the classroom through proof, refutation, and abductive reasoning
Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events
An asymptotic version of the Gowers dichotomy and a new proof of Wagner theorem
User interface design assistant
Experiences from Exporting Major Proof Assistant Libraries
Interactive typed tactic programming in the Coq proof assistant
Isabelle, HOL : a proof assistant for higher order logic
Reliable reconstruction of fine-grained proofs in a proof assistant
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Assistant platforms
Generating mathematical knowledge in the classroom through proof, refutation, and abductive reasoning
Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events
An asymptotic version of the Gowers dichotomy and a new proof of Wagner theorem