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 |
|