| Shelfclass_id | 4.B.3 |
| Sortkey | CHOU, SHANG-CHING |
| Authors | Shang-Ching Chou |
| Title | Mechanical Geometry Theorem Proving |
| Publisher | Kluwer Academic Publishers |
| Year | c1988 |
| Languages | eng |
| Isbn | 9027726507 |
| Series | Mathematics and its applications |
| Description | xii, 362 p. ill. 25 cm. |
| Record date | 20070222 |
| Location | Norwell, MA, U.S.A. |
| Keywords | Automatic theorem proving |
| Notes | Includes indexes. |