3 द्वारा ईबुक Jacques Fleuriot
Jacques Fleuriot: Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
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 Combin …
PDF
अंग्रेज़ी
DRM
€114.31
Jacques Calmet & Jacques Fleuriot: Artificial Intelligence and Symbolic Computation
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 fu …
EPUB
अंग्रेज़ी
DRM
€57.66
Jacques Fleuriot & Tetsuo Ida: Automated Deduction in Geometry
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 1 …
PDF
अंग्रेज़ी
DRM
€51.38
