Jacques Fleuriot – författare
Visar alla böcker från författaren Jacques Fleuriot.
4 produkter
4 produkter
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Häftad, Engelska, 2012
1 379 kr
Skickas inom 10-15 vardagar
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Inbunden, Engelska, 2001
1 379 kr
Skickas inom 10-15 vardagar
Del 11110 - Lecture Notes in Computer Science
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Häftad, Engelska, 2018
719 kr
Skickas inom 10-15 vardagar
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Häftad, Engelska, 2013
659 kr
Skickas inom 10-15 vardagar