Languages
Davis, Martin.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
From linear operators to computational biology = essays in memory of Jacob T. Schwartz /
by:
Davis, Martin.; Schonberg, Edmond.; SpringerLink (Online service)
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Davis, Martin.
(Language materials, printed)
A Cartographic Analysis of Soviet Military City Plans
by:
Davis, Martin.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
by:
McIver, Annabelle.; Davis, Martin.; SpringerLink (Online service); Fehnker, Ansgar.; Voronkov, Andrei.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Geography.
Computer logic.
Geography, general.
Artificial intelligence.
Software engineering.
Robotics and Automation.
Computer programming.
Programming Techniques.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Geophysics/Geodesy.
Linear operators.
Computer logic
Artificial Intelligence (incl. Robotics)
Application software.
Artificial Intelligence.
Logic, Symbolic and mathematical.
Computer Applications.
Computer science.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computational biology.
Quantum Physics.
Programming languages (Electronic computers).
Geophysics.