Details:
| Title | Mechanical geometry theorem proving | | Author(s) | Shang-Ching Chou | | Type | Book, Chapter in Book, Conference Proceeding | | ISBN | 9-027-72650-7 |
| Language | English | | Publisher | Kluwer Academic Publishers | | Address | Norwell, MA, USA | | Year | 1987 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
