Benzmüller, Christoph.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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).