Details:
Title | Where the truth lies (in automatic theorem proving in elementary geometry). | Author(s) | Francisco Botana, Recio | Type | Book, Chapter in Book, Conference Proceeding | ISBN | 3-540-22056-9/pbk |
URL |
http://link.springer.com/book/10.1007%2Fb98051 |
Language | English | Pages | 761--770 | Publisher | Berlin: Springer | Year | 2004 | Edition | 0 | Translation |
No | Refereed |
No |
|