Ulrich Kohlenbach
Identifiers
- Open LibraryOL8109778A
Top Subjects
- Proof theory (1)
- Automatic theorem proving (1)
- Approximation theory (1)
- Nonlinear operators (1)
Books by Ulrich Kohlenbach
Total count: 3
-
Logic Colloquium 2007Cambridge University Press2006-01-01
-
Applied Proof TheoryProof Interpretations and Their Use in MathematicsSpringer Berlin / Heidelberg2010-01-01
-
Logic, Language, Information, and Computation20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, ProceedingsSpringer2013-11-27