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)