

Automated Deduction in Geometry
- Undertitel
- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
- Redaktör
- Pedro Quaresma, Francisco Botana
- 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
