Benzmüller, Christoph.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
SpringerLink (Online service); Benzmüller, Christoph.; Wáng, Yὶ N.; Baroni, Pietro.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings /
by:
Stuckenschmidt, Heiner.; SpringerLink (Online service); Benzmüller, Christoph.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
by:
SpringerLink (Online service); Benzmüller, Christoph.; Miller, Bruce.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Wider den Reduktionismus = Ausgewählte Beiträge zum Kurt Gödel Preis 2019 /
by:
Passon, Oliver.; Benzmüller, Christoph.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reasoning in simple type theory : = festschrift in honour of Peter B. Andrews on his 70th birthday /
by:
Andrews, P. B. (1937-.); Benzmüller, Christoph.
(書目-語言資料,印刷品)
Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /
by:
Parent, Xavier.; Roman, Dumitru.; Ricca, Francesco.; SpringerLink (Online service); Benzmüller, Christoph.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer organization.
Type theory.
Artificial intelligence.
Software engineering.
Computer Appl. in Administrative Data Processing.
Theory of Computation.
Computer programming.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Application software.
Artificial Intelligence.
Philosophy and science.
Computer Applications.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
Philosophy of Science.
Information Systems and Communication Service.
Logic, Symbolic and mathematical.
Computing Milieux.
Programming languages (Electronic computers).