Cover Image

Mechanical theorem proving in geometries : basic principles /

Show other versions (1)
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.
Search Result 1
Cover Image
by Wu, Wen-tsün
Published 1994
Connect to the full text of this electronic book
eBook
Show all versions (2)