RecordNumber
18257
LC Class
QA
LC Number
448
LC CutterNumber
.D38,W8
Dewey Class
516
Dewey Number
/.001
Dewey Date
/5113
Author
Wu, Wen-tsun
Title
Mechanical theorem proving in geometries
Author Statement
Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang
Publication
Springer-Verlag
Publication Year
1994
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
DocumentNumber
33510
SubTitle
: basic principles
Biblography
Includes bibliographical references and index
BL
BL