Automated deduction in geometryHoon Hong
Automated deduction in geometry
Hoon Hong, Stefano Spaccapietra, Dongming Wang · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer
- Editions
- 2
- Pages
- 213
- ISBN
- 9783540313328
Data source: Wikidata
