Languages
Davis, Martin.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
Subjects
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.