Mechanical Theorem Proving in Geometries
Subtitle: Basic Principles (Texts and Monographs in Symbolic Computation)
Publisher: Springer
Published: May 1994
Language: eng
Number of pages: 288
ISBN-13: 9780387825069