Mechanical theorem proving in geometries : basic principles /

Bibliographic Details
Main Author:	Wu, Wen-tsün
Format:	Book
Language:	English
Published:	Wien ; New York : Springer-Verlag, [1994]
Series:	Texts and monographs in symbolic computation.
Subjects:	Geometry > Data processing. Automatic theorem proving.

Evans: Library Stacks