言語
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 /
…で:
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.