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
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
INDEXADO EM: Scopus WOS CrossRef: 9
NO MEU: ORCID
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
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
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
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
INDEXADO EM: CrossRef
NO MEU: ORCID
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
INDEXADO EM: CrossRef
NO MEU: ORCID
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
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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
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
INDEXADO EM: Scopus
NO MEU: ORCID
Página 3 de 5. Total de resultados: 46.