Mechanical theorem proving in geometries : basic principles
Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang
Bok Engelsk 1994 Wenjun Wu
Utgitt | Wien : Springer-Verlag , 1994
|
---|---|
Omfang | XII, 288 s. : fig.
|
Emner | Automatic theorem proving
Geometry - Data processing geometri automatisert bevisføring databehandling |
ISBN | 0387825061. - 3211825061
|