LC CutterNumber :
.D38,W8
Title :
Mechanical theorem proving in geometries
Author Statement :
Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang
Publication :
Springer-Verlag
Collation :
xvi, 288 p.: illus.; 25 cm
Series :
Texts and monographs in symbolic computation, 0943-853X
Subject :
Geometry- Data processing,Automatic theorem proving
Holding Info. :
3211825061
SubTitle :
: basic principles
Biblography :
Includes bibliographical references and index
