Details:
| Title | Selected topics in geometry with classical vs. computer proving. | | Author(s) | Pavel Pech | | Type | Book, Chapter in Book, Conference Proceeding | | ISBN | 978-981-270-942-4/hbk |
| Language | English | | Pages | xi 239 | | Publisher | Hackensack, NJ: World Scientific | | Year | 2007 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
