41
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
INDEXADO EM: CrossRef
NO MEU: ORCID
42
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
INDEXADO EM: Scopus WOS CrossRef
43
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
INDEXADO EM: WOS
44
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
INDEXADO EM: CrossRef: 10
NO MEU: ORCID
45
TÍTULO: System Description: GCLCprover + GeoThms
AUTORES: Predrag Janičić; Pedro Quaresma;
PUBLICAÇÃO: 2006, FONTE: Lecture Notes in Computer Science - Automated Reasoning
INDEXADO EM: CrossRef: 19
NO MEU: ORCID
Página 5 de 5. Total de resultados: 45.