Sign up to our emails and be the first to know about new releases, special offers and more.
Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!
Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.
Australian Book Retailer of the Year 2021
Jacques Fleuriot
Demonstrations of Newton’s theorems are usually presented using calculus. This text describes the mechanization of Lemmas and Propositions from the Principia , using formal tools developed in the generic theorem…
Available to order, ships in 7-14 daysAvailable to order
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.
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.
Fleuriot
Dialogue entre Jean-Jacques Rousseau et Rigomer Bazin. Date de l'edition originale: 1818-1819 Sujet de l'ouvrage: France (1814-1824, Louis XVIII) Appartient a l'ensemble documentaire: PaysLoir1
Le present ouvrage s'inscrit dans une…
