語系
Benzmuller, Christoph.
概要
| 作品: | 2 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Intelligent computer mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings /
by:
(1998 :); Benzmuller, Christoph.; Miller, Bruce.; SpringerLink (Online service)
(書目-電子資源)
Logic and argumentation4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021 : proceedings /
by:
(1998 :); Baroni, Pietro.; Benzmuller, Christoph.; SpringerLink (Online service); Wang, Yi N.
(書目-電子資源)
KI 2019advances in artificial intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019 : proceedings /
by:
(1998 :); Benzmuller, Christoph.; SpringerLink (Online service); Stuckenschmidt, Heiner.
(書目-電子資源)
Rules and reasoningsecond International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
(1998 :); Benzmuller, Christoph.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Artificial intelligence
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Algorithm Analysis and Problem Complexity.
Uncertainty (Information theory)
Computer logic
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Appl. in Administrative Data Processing.
Computer science
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Science.
Computer Systems Organization and Communication Networks.
Reasoning
Computer Applications.