Publications

Automated Deduction in Geometry: 10Th International Workshop, Adg 2014 Coimbra, Portugal, July 9-11, 2014 Revised Selected Papers

AuthID
P-00G-WFT

Author(s)

Botana, F

Quaresma, P

Editor(s)

Botana F.Quaresma P.

Document Type

Proceedings Paper

Year published

2015

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 9201

Conference

10Th International Workshop on Automated Deduction in Geometry, Adg 2014, Date: 9 July 2014 through 11 July 2014, Sponsors: CISUC;CMUC;CMUP;et al;FCT;Universidade de Coimbra

Indexing