Languages
Truszczynski, Miroslaw.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
SpringerLink (Online service); Truszczynski, Miroslaw.; Ianni, Giovambattista.; Calimeri, Francesco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
SpringerLink (Online service); Calimeri, Francesco.; Ianni, Giovambattista.; Truszczynski, Miroslaw.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Nonmonotonic reasoning
Discrete Mathematics in Computer Science.
Programming Techniques.
Computer Science.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming