Publicações

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(es)

Botana F.Quaresma P.

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

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, Patrocinadores: CISUC;CMUC;CMUP;et al;FCT;Universidade de Coimbra

Indexing