語系
Kohlenbach, Ulrich.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
by:
SpringerLink (Online service); Kohlenbach, Ulrich.
(書目-語言資料,印刷品)
主題
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.