AUTOMATED DEDUCTION IN GEOMETRY > Editions
by S Springer First published October 16th 2001
Published September 12th 2001
by Springer
2001, Paperback, 336 pages
Published January 1st 2008
by Fisicalbook
Unknown Binding, 328 pages