Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
11
TÃTULO: Geometrography in Dynamic Geometry
AUTORES: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, NÚMERO: 2
AUTORES: Vanda Santos; Nuno Baeta; Pedro Quaresma;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, VOLUME: 26, NÚMERO: 2
INDEXADO EM: 
WOS
WOS12
TÃTULO: COLLABORATIVE ASPECTS IN AN ELEARNING CLASSROOM
AUTORES: Santos, V; Quaresma, P;
PUBLICAÇÃO: 2019, FONTE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019)
AUTORES: Santos, V; Quaresma, P;
PUBLICAÇÃO: 2019, FONTE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019)
INDEXADO EM: WOS
WOS13
TÃTULO: Computer-Generated Geometry Proofs in a Learning Context
AUTORES: Pedro Quaresma; Vanda Santos;
PUBLICAÇÃO: 2019, FONTE: Mathematics Education in the Digital Era - Proof Technology in Mathematics Research and Teaching
AUTORES: Pedro Quaresma; Vanda Santos;
PUBLICAÇÃO: 2019, FONTE: Mathematics Education in the Digital Era - Proof Technology in Mathematics Research and Teaching
14
TÃTULO: WGL, a web laboratory for geometry
AUTORES: Quaresma, P; Santos, V; Maric, M;
PUBLICAÇÃO: 2018, FONTE: EDUCATION AND INFORMATION TECHNOLOGIES, VOLUME: 23, NÚMERO: 1
AUTORES: Quaresma, P; Santos, V; Maric, M;
PUBLICAÇÃO: 2018, FONTE: EDUCATION AND INFORMATION TECHNOLOGIES, VOLUME: 23, NÚMERO: 1
15
TÃTULO: Web geometry laboratory: case studies in Portugal and Serbia Full Text
AUTORES: Vanda Santos; Pedro Quaresma; Milena Maric; Campos, H. ;
PUBLICAÇÃO: 2018, FONTE: INTERACTIVE LEARNING ENVIRONMENTS, VOLUME: 26, NÚMERO: 1
AUTORES: Vanda Santos; Pedro Quaresma; Milena Maric; Campos, H. ;
PUBLICAÇÃO: 2018, FONTE: INTERACTIVE LEARNING ENVIRONMENTS, VOLUME: 26, NÚMERO: 1
16
TÃTULO: Exchange of Geometric Information Between Applications
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: WOS
WOS17
TÃTULO: Automatic Deduction in an AI Geometry Book
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2018, FONTE: 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC) in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), VOLUME: 11110
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2018, FONTE: 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC) in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), VOLUME: 11110
18
TÃTULO: Exchange of Geometric Information Between Applications
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Pedro Quaresma; Vanda Santos; Nuno Baeta;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: WOS
WOS19
TÃTULO: Preface
AUTORES: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: WOS
WOS20
TÃTULO: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 Preface
AUTORES: Serge Autexier; Pedro Quaresma;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 239
AUTORES: Serge Autexier; Pedro Quaresma;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 239
INDEXADO EM: WOS
WOS