Details:
| Title | Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22--24, 2010. Revised selected papers. | | Author(s) | | | Type | Book, Chapter in Book, Conference Proceeding | | ISBN | 978-3-642-25069-9/pbk |
| URL |
http://link.springer.com/book/10.1007%2F978-3-642-25070-5 |
| Language | English | | Pages | x 259 | | Publisher | Berlin: Springer | | Year | 2011 | | Editor | Pascal Schreck and Julien Narboux and J\"urgen Richter-Gebert | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
