A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Autor Jacques Fleuriot
13 sep 2012
Paperback
Preț: 609.22 lei 716.73 lei
6-8 săpt.
-15%
Cărți de Jacques Fleuriot
Automated Deduction in Geometry
Editat de Tetsuo Ida et al.
12 sep 2013
Paperback
Preț: 288.93 lei 361.17 lei
6-8 săpt.
-20%
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Editat de Jacques Fleuriot et al.
22 aug 2018
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%