Languages
Manna, Marco.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reasoning Web. Declarative Artificial Intelligence = 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
by:
SpringerLink (Online service); Pieris, Andreas.; Manna, Marco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
Calimeri, Francesco.; Manna, Marco.; Leone, Nicola.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
Leone, Nicola.; SpringerLink (Online service); Calimeri, Francesco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Manna, Marco.
(Language materials, printed)
Subjects
Mathematical logic.
Computer logic.
Artificial intelligence.
Computer Applications.
Logic, Symbolic and mathematical
Natural Language Processing (NLP).
Computer Appl. in Administrative Data Processing.
Natural language processing (Computer science).
Programming Techniques.
Computer programming.
Computer hardware.
Computer Hardware.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Database Management.
Artificial intelligence
Application software.
Artificial Intelligence.
Database management.