Details:
Title | Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers. | Author(s) | | Type | Book, Chapter in Book, Conference Proceeding | ISBN | 3-540-20927-1/pbk |
URL |
http://link.springer.com/book/10.1007%2Fb95516 |
Language | English | Pages | vii 231 | Publisher | Berlin: Springer | Year | 2004 | Editor | Franz Winkler | Edition | 0 | Translation |
No | Refereed |
No |
|