語系
Fleuriot, Jacques.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers /
by:
SpringerLink (Online service); Ida, Tetsuo.; Workshop on the Preservation of Stability under Discretization ((2001 :); Fleuriot, Jacques.
(書目-語言資料,印刷品)
Artificial intelligence and symbolic computation = 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings /
by:
Calmet, Jacques.; Wang, Dongming.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Fleuriot, Jacques.
(書目-語言資料,印刷品)
Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings /
by:
Fleuriot, Jacques.; Calmet, Jacques.; Wang, Dongming.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer science—Mathematics.
Math Applications in Computer Science.
Artificial intelligence.
Automatic theorem proving
Symbolic and Algebraic Manipulation.
Geometry
Information Systems Applications (incl. Internet).
Computer Science.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Application software.
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Graphics.
Discrete Mathematics in Computer Science.