Details:
| Title | GEOTHER 1.1: handling and proving geometric theorems automatically. | | Author(s) | Dongming Wang | | Type | Book, Chapter in Book, Conference Proceeding | | ISBN | 3-540-20927-1/pbk |
| URL |
http://link.springer.com/book/10.1007%2Fb95516 |
| Language | English | | Pages | 194--215 | | Publisher | Berlin: Springer | | Year | 2004 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
