Languages
Kohlenbach, Ulrich.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, language, information, and computation = 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings /
by:
Kohlenbach, Ulrich.; Barcelo, Pablo.; Queiroz, Ruy de.; SpringerLink (Online service)
(Electronic resources)
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
by:
SpringerLink (Online service); Kohlenbach, Ulrich.
(Language materials, printed)
Subjects
Mathematics- Philosophy.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Operator Theory.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Mathematics.
Approximations and Expansions.
Functional Analysis.
Language and logic
Proof theory.
Mathematics, general.
Categories (Philosophy)
Logic, Symbolic and mathematical
Computer Science.
Symbolic and Algebraic Manipulation.