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
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.