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
|
