語系
Davis, Martin.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
From linear operators to computational biology = essays in memory of Jacob T. Schwartz /
by:
Davis, Martin.; Schonberg, Edmond.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
A Cartographic Analysis of Soviet Military City Plans
by:
Davis, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.