Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, july 9-11, 2014, revised selected papers /
Formato: | Libro |
---|---|
Publicado: |
c2015.
|
Acceso en línea: | Ver documento en línea |
ISBN: | 9783319213620 |
---|
Formato: | Libro |
---|---|
Publicado: |
c2015.
|
Acceso en línea: | Ver documento en línea |
ISBN: | 9783319213620 |
---|