Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
21
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
22
TÃTULO: Towards an Intelligent and Dynamic Geometry Book
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2017, FONTE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 3-4
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2017, FONTE: MATHEMATICS IN COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 3-4
23
TÃTULO: Are perfectionism cognitions and cognitive emotion regulation strategies mediators between perfectionism and psychological distress? Full Text
AUTORES: Antonio Macedo; Cristiana Marques; Vasco Quaresma; Maria Joao Soares; Ana Paula Amaral; Ana Isabel Araujo; Ana Telma Pereira;
PUBLICAÇÃO: 2017, FONTE: PERSONALITY AND INDIVIDUAL DIFFERENCES, VOLUME: 119
AUTORES: Antonio Macedo; Cristiana Marques; Vasco Quaresma; Maria Joao Soares; Ana Paula Amaral; Ana Isabel Araujo; Ana Telma Pereira;
PUBLICAÇÃO: 2017, FONTE: PERSONALITY AND INDIVIDUAL DIFFERENCES, VOLUME: 119
INDEXADO EM: WOS
24
TÃTULO: Current Status of the I2GATP Common Format
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry (ADG) in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 9201
INDEXADO EM: Scopus WOS
NO MEU: ORCID
25
TÃTULO: Automated Deduction in Geometry: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9-11, 2014 Revised Selected Papers
AUTORES: Botana, F; Quaresma, P;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry, ADG 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
AUTORES: Botana, F; Quaresma, P;
PUBLICAÇÃO: 2015, FONTE: 10th International Workshop on Automated Deduction in Geometry, ADG 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
INDEXADO EM: Scopus
NO MEU: ORCID
26
TÃTULO: Automated Deduction in Geometry
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
27
TÃTULO: Current Status of the I2GATP Common Format
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: Automated Deduction in Geometry - Lecture Notes in Computer Science
AUTORES: Pedro Quaresma; Nuno Baeta;
PUBLICAÇÃO: 2015, FONTE: Automated Deduction in Geometry - Lecture Notes in Computer Science
28
TÃTULO: Preface
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
AUTORES: Francisco Botana; Pedro Quaresma;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9201
INDEXADO EM: Scopus
NO MEU: ORCID
29
TÃTULO: Querying geometric figures using a controlled language, ontological graphs and dependency lattices
AUTORES: Haralambous, Y; Quaresma, P;
PUBLICAÇÃO: 2014, FONTE: 2014 International Conference on Intelligent Computer Mathematics, CICM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8543 LNAI
AUTORES: Haralambous, Y; Quaresma, P;
PUBLICAÇÃO: 2014, FONTE: 2014 International Conference on Intelligent Computer Mathematics, CICM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8543 LNAI
30
TÃTULO: Reproducing a geometric working session web geometry laboratory project
AUTORES: Quaresma, P; Santos, V; Moral, J;
PUBLICAÇÃO: 2014, FONTE: Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 in CEUR Workshop Proceedings, VOLUME: 1186
AUTORES: Quaresma, P; Santos, V; Moral, J;
PUBLICAÇÃO: 2014, FONTE: Joint of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014 in CEUR Workshop Proceedings, VOLUME: 1186
INDEXADO EM: Scopus
NO MEU: ORCID