Languages
Fleuriot, Jacques.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.