Details:
| Title | Examples of Automatic Theorem Proving a Real Geometry | | Author(s) | Guergueb Ahmed, Jean, Roy | | Type | Article in Conference Proceedings | | ISBN | 0-89791-638-7 |
| URL |
http://doi.acm.org/10.1145/190347.190354 |
| Language | English | | Series | ISSAC | | Pages | 20--24 | | Publisher | ACM | | Address | New York, NY, USA | | Year | 1994 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
