Automated Deduction in Geometry
Elemento
- Título (dcterms:title)
- Automated Deduction in Geometry
- Autores (dcterms:creator)
- Ida
- Año Publicación (dcterms:date)
- 2013
- Editorial (dcterms:publisher)
- Springer Berlin Heidelberg
- ISBN (bibo:isbn)
- 978-3-642-40671-3
- eBook (bibo:isbn13)
- 978-3-642-40672-0
- PDF (bibo:uri)
- https://cutt.ly/yhvDPuK
- EPUB (foaf:workInfoHomepage)
- https://cutt.ly/jhvDXjS
- Colecciones
- Springer