語系
Benzmuller, Christoph.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Intelligent computer mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings /
by:
CICM (Conference) (2020 :); Benzmuller, Christoph.; Miller, Bruce.; SpringerLink (Online service)
(書目-電子資源)
KI 2019 = advances in artificial intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019 : proceedings /
by:
German Conference on Artificial Intelligence (2019 :); Benzmuller, Christoph.; Stuckenschmidt, Heiner.; SpringerLink (Online service)
(書目-電子資源)
Logic and argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021 : proceedings /
by:
International Conference on Logic and Argumentation (2021 :); Baroni, Pietro.; Benzmuller, Christoph.; Wang, Yi N.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Artificial intelligence
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Artificial intelligence- Mathematics
Computing Milieux.
Algorithm Analysis and Problem Complexity.
Uncertainty (Information theory)
Programming Techniques.
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Computer Systems Organization and Communication Networks.
Logic, Symbolic and mathematical
Reasoning
Computer Applications.