Overview
Book details: Automated Deduction in Geometry: 10th International Workshop, Adg 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers by author Francisco Botana, Published by Springer, in Paperback or Softback binding, 181 pages, ISBN 9783319213613