

Automated Deduction in Geometry
- Undertitel
- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
- Redaktör
- Francisco Botana, Pedro Quaresma
- ISBN
- 9783319213620
- Språk
- Engelska
- Utgivningsdatum
- 2015-07-17
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator