Pedro Henrique e Figueiredo Quaresma de Almeida
AuthID: R-000-ERY
41
TÃTULO: An XML-format for conjectures in geometry (work-in-progress)
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2012, FONTE: Joint 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces, MathUI 2012 and CICM Work in Progress - Conference on Intelligent Computer Mathematics, CICM 2012 in CEUR Workshop Proceedings, VOLUME: 921
AUTORES: Quaresma, P;
PUBLICAÇÃO: 2012, FONTE: Joint 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces, MathUI 2012 and CICM Work in Progress - Conference on Intelligent Computer Mathematics, CICM 2012 in CEUR Workshop Proceedings, VOLUME: 921
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID42
TÃTULO: Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
AUTORES: Vanda Santos; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 79
AUTORES: Vanda Santos; Pedro Quaresma;
PUBLICAÇÃO: 2012, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 79
43
TÃTULO: Effect of the calcination temperature on the composition and microstructure of hydroxyapatite derived from human and animal bone Full Text
AUTORES: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLICAÇÃO: 2010, FONTE: CERAMICS INTERNATIONAL, VOLUME: 36, NÚMERO: 8
AUTORES: Figueiredo, M ; Fernando, A; Martins, G; Freitas, J; Judas, F; Figueiredo, H;
PUBLICAÇÃO: 2010, FONTE: CERAMICS INTERNATIONAL, VOLUME: 36, NÚMERO: 8
44
TÃTULO: The Area Method - A Recapitulation
AUTORES: Janicic, P; Narboux, J; Quaresma, P;
PUBLICAÇÃO: 2010, FONTE: Journal of Automated Reasoning
AUTORES: Janicic, P; Narboux, J; Quaresma, P;
PUBLICAÇÃO: 2010, FONTE: Journal of Automated Reasoning
INDEXADO EM: Scopus
Scopus45
TÃTULO: The Area Method. A Recapitulation Full Text
AUTORES: Predrag Janičić; Julien Narboux; Pedro Quaresma;
PUBLICAÇÃO: 2010, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 48, NÚMERO: 4
AUTORES: Predrag Janičić; Julien Narboux; Pedro Quaresma;
PUBLICAÇÃO: 2010, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 48, NÚMERO: 4
46
TÃTULO: Supporting fraud analysis in mobile telecommunications using case-based reasoning
AUTORES: Pedro Almeida; Marco Jorge; Luis Cortes; Filipe Martins; Marco Vieira ; Paulo Gomes;
PUBLICAÇÃO: 2008, FONTE: 9th European Conference on Case-Based Reasoning in ADVANCES IN CASE-BASED REASONING, PROCEEDINGS, VOLUME: 5239
AUTORES: Pedro Almeida; Marco Jorge; Luis Cortes; Filipe Martins; Marco Vieira ; Paulo Gomes;
PUBLICAÇÃO: 2008, FONTE: 9th European Conference on Case-Based Reasoning in ADVANCES IN CASE-BASED REASONING, PROCEEDINGS, VOLUME: 5239
47
TÃTULO: Automatic verification of regular constructions in dynamic geometry systems
AUTORES: Predrag Janicic; Pedro Quaresma;
PUBLICAÇÃO: 2007, FONTE: 6th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 4869
AUTORES: Predrag Janicic; Pedro Quaresma;
PUBLICAÇÃO: 2007, FONTE: 6th International Workshop on Automated Deduction in Geometry in AUTOMATED DEDUCTION IN GEOMETRY, VOLUME: 4869
INDEXADO EM: 
WOS
WOS48
TÃTULO: Automatic Verification of Regular Constructions in Dynamic Geometry Systems
AUTORES: Predrag Janičić; Pedro Quaresma;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science - Automated Deduction in Geometry
AUTORES: Predrag Janičić; Pedro Quaresma;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science - Automated Deduction in Geometry
49
TÃTULO: System Description: GCLCprover + GeoThms
AUTORES: Predrag Janičić; Pedro Quaresma;
PUBLICAÇÃO: 2006, FONTE: Lecture Notes in Computer Science - Automated Reasoning
AUTORES: Predrag Janičić; Pedro Quaresma;
PUBLICAÇÃO: 2006, FONTE: Lecture Notes in Computer Science - Automated Reasoning
