Matemática Aplicada 9
MA9
Universidade de Coimbra
Coímbra, PortugalUniversidade de Coimbra-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
2018
-
Preface
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
2015
-
Automated Deduction in Geometry: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9-11, 2014 Revised Selected Papers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)