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)
EPUB (foaf:workInfoHomepage)
Colecciones
Position: 2944 (1 views)