Baroni, Pietro.
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:
Wáng, Yὶ N.; SpringerLink (Online service); Baroni, Pietro.; Benzmüller, Christoph.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
Mathematical logic.
Artificial intelligence
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Computer logic.
Artificial intelligence.
Reasoning
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.