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