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
43-57 zile
-15%
Cărți de Jacques Fleuriot
Artificial Intelligence and Symbolic Computation
Editat de Jacques Fleuriot et al.
22 aug 2018
Paperback
Preț: 321.15 lei 401.43 lei
43-57 zile
-20%
Automated Deduction in Geometry
Editat de Tetsuo Ida et al.
12 sep 2013
Paperback
Preț: 289.82 lei 362.28 lei
43-57 zile
-20%