Languages
Kohlenbach, Ulrich.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings /
by:
SpringerLink (Online service); Kohlenbach, Ulrich.; Workshop on the Preservation of Stability under Discretization ((2001 :); Libkin, Leonid.; Queiroz, Ruy.
(Language materials, printed)
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
by:
SpringerLink (Online service); Kohlenbach, Ulrich.
(Language materials, printed)
Subjects
Computer logic
Artificial Intelligence (incl. Robotics)
Mathematics.
Logic, Symbolic and mathematical.
Categories (Philosophy)
Symbolic and Algebraic Manipulation.
Logic, Symbolic and mathematical
Mathematics
Proof theory.
Approximations and Expansions.
Computer Science.
Computer Science, general.
Mathematics, general.
Operator Theory.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Functional Analysis.