Details:
| Title | Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31--September 2, 2006. Revised papers. | | Author(s) | | | Type | Book, Chapter in Book, Conference Proceeding | | ISBN | 978-3-540-77355-9/pbk |
| Language | English | | Pages | x 213 | | Publisher | Berlin: Springer | | Year | 2007 | | Editor | Francisco Botana and Tomas Recio | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
