Buy Used and New Jacques Fleuriot Books

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings: 11110 (Lecture Notes in Computer Science)

by Jacques Fleuriot,Dongming Wang,Jacques Calmet

ISBN 13: 9783319999562

Format: Paperback (280 pages)
Publisher: Springer
Published: 22 Aug 2018

Save for later

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)

by Tetsuo Ida,Jacques Fleuriot

ISBN 13: 9783642406713

Format: Paperback (204 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later