Gupta, Gopal.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
Gabbrielli, Maurizio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gupta, Gopal.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Gupta, Gopal.; Martinez, Maria Vanina.; Dodaro, Carmine.
(書目-語言資料,印刷品)
主題
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Nonmonotonic reasoning
Computer Application in Administrative Data Processing.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Compilers and Interpreters.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.