Details:
| Title | Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16--18, 2004. Revised papers. | | Author(s) | | | Type | Book, Chapter in Book, Conference Proceeding | | ISBN | 3-540-31332-X/pbk |
| Language | English | | Pages | x 213 | | Publisher | Berlin: Springer | | Year | 2006 | | Editor | Hoon Hong and Dongming Wang | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
