ISBN 0387825061 books & textbook
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation)
Wu, Wen-ts Un; Jin, Xio Fan (translator); Wang, Dongming (translator)
Springer-Verlag New York, Incorporated /1994T Paperback / 288 Pages
isbn-10: 0387825061 / isbn-13: 9780387825069
