Overview
Book details: Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh, Uk, September 17-19, 2012. Revised Selected Papers by author Tetsuo Ida, Published by Springer, in Paperback or Softback binding, 193 pages, ISBN 9783642406713