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