ISBN 331921361X books & textbook
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
Botana, Francisco Quaresma, Pedro
Springer /2015-07-27 Paperback / 190 Pages
isbn-10: 331921361X / isbn-13: 9783319213613
