語系
Davis, Martin.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
Clark Conference ((2005 :); Davis, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Computer logic.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer logic
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer science.
Computer programming.
Artificial intelligence.