Cărți de Jacques Fleuriot

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11110

Editat de Jacques Fleuriot et al.

22 aug 2018

Preț: 324^.92 lei 406^.15 lei

6-8 săpt.

-20%

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7993

Editat de Tetsuo Ida et al.

12 sep 2013

Preț: 293^.30 lei 366^.62 lei

6-8 săpt.

-20%

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Distinguished Dissertations

Autor Jacques Fleuriot

13 sep 2012

Preț: 620^.85 lei 730^.42 lei

6-8 săpt.

-15%