| Shelfclass_id | 4.D |
| Sortkey | WU, WEN-TSÜN |
| Authors | Wen-tsun Wu, Wen-tsün Wu |
| Title | Mechanical Theorem Proving in Geometries: Basic Principles |
| Publisher | Springer Pub. Co. |
| Year | c1994 |
| Languages | eng |
| Isbn | 0387825061, 3211825061 |
| Series | Texts and monographs in symbolic computation |
| Issn | 0943-853X |
| Description | (Wien: acid-free paper) (New York: acid-free paper) xiv, 288 p. ill. 25 cm. |
| Record date | 20061020 |
| Location | New York |
| Keywords | Geometry, Automatic theorem proving |
| Notes | "Originally published as 'Basic principles of mechanical theorem proving in geometries' in Chinese language by Science Press, Beijing, 1984"--T.p. verso. ; Wu, Wen-tsun |