Jacques Fleuriot – författare
Visar alla böcker från författaren Jacques Fleuriot. Handla med fri frakt och snabb leverans.
7 produkter
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
E-bok, 2012
1427 kr
Lägg i varukorg
Sir Isaac Newton''s philosophi Naturalis Principia Mathematica''(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague. In A Combination of Geometry Theorem Proving and Nonstandard Analysis , Jacques Fleuriot presents a …
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Häftad, 2012
1096 kr
Lägg i varukorg
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a …
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Inbunden, 2001
1096 kr
Lägg i varukorg
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a …
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, 2018
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected …
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Av Jacques Calmet, Dongming Wang m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected …
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, 2013
523 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two …
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Av Jacques Fleuriot, Tetsuo Ida
E-bok, 2013
638 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two …
