

Automated Deduction in Geometry
- Undertittel
- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
- Redaktør
- Francisco Botana, Pedro Quaresma
- ISBN
- 9783319213620
- Språk
- Engelsk
- Utgivelsesdato
- 17.7.2015
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
