Publicacións en colaboración con investigadores/as de Universidade de Coimbra (2)

2018

  1. Preface

    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

2015

  1. 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)