Baroni, Pietro.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
Wáng, Yὶ N.; SpringerLink (Online service); Baroni, Pietro.; Benzmüller, Christoph.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computational models of argument = proceedings of COMMA 2010 /
by:
Baroni, Pietro.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Artificial intelligence
Computer logic.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Reasoning
Computer programming.
Programming Techniques.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.