Jacques Fleuriot - Böcker

Visar alla böcker från författaren Jacques Fleuriot.

4 produkter

Kategorier

4 produkter

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Av Jacques Fleuriot

Häftad, Engelska, 2012

1 399 kr

Skickas inom 10-15 vardagar

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Av Jacques Fleuriot

Inbunden, Engelska, 2001

1 399 kr

Skickas inom 10-15 vardagar

Artificial Intelligence and Symbolic Computation

13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Av Jacques Fleuriot, Dongming Wang m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Automated Deduction in Geometry

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Av Tetsuo Ida, Jacques Fleuriot

Häftad, Engelska, 2013

649 kr

Skickas inom 10-15 vardagar