語系
Baroni, Pietro.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.; Wang, Yi N.; SpringerLink (Online service); Benzmuller, Christoph.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Uncertainty (Information theory)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Reasoning- Computer simulation
Artificial Intelligence.
Logic, Symbolic and mathematical
Reasoning
Artificial intelligence- Computer simulation