Hoppa till sidans huvudinnehåll

Jacques Fleuriot – författare

Visar alla böcker från författaren .
4 produkter
Jacques Fleuriot - Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia, Häftad

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

AvJacques Fleuriot

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

Jacques Fleuriot - Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia, Inbunden

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

AvJacques Fleuriot

Inbunden, Engelska, 2001

1 409 kr

Skickas inom 10-15 vardagar

Jacques Fleuriot, Dongming Wang, Jacques Calmet - Artificial Intelligence and Symbolic Computation, Häftad
Del 11110 - Lecture Notes in Computer Science

Artificial Intelligence and Symbolic Computation

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

AvJacques Fleuriot,Dongming Wangm. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Tetsuo Ida, Jacques Fleuriot - Automated Deduction in Geometry, Häftad

Automated Deduction in Geometry

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

AvTetsuo Ida,Jacques Fleuriot

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar