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ț: 331^.58 lei 414^.48 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ț: 299^.30 lei 374^.13 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ț: 633^.68 lei 745^.50 lei

6-8 săpt.

-15%