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.
Description
Physical Description:xiv, 288 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [281]-284) and index.
ISBN:3211825061 (Wien : acid-free)
0387825061 (New York : acid-free)
ISSN:0943-853X