Mechanical theorem proving in geometries : basic principles ; translated from the Chinese by Xiaofan Jin and Dongming Wang
Wu, Wen-tsun
Mechanical theorem proving in geometries : basic principles ; translated from the Chinese by Xiaofan Jin and Dongming Wang - - Wien : Springer-Verlag, 1994 1994 - xiv,288 p. 24 cm - .
1
Geometry-Data processing
Automatic theorem proving
513:681.3 Wu
Mechanical theorem proving in geometries : basic principles ; translated from the Chinese by Xiaofan Jin and Dongming Wang - - Wien : Springer-Verlag, 1994 1994 - xiv,288 p. 24 cm - .
1
Geometry-Data processing
Automatic theorem proving
513:681.3 Wu