Pronađeno: 1-4 / 4 radova

Autori: Quaresma Pedro

>> Prikaži sve rezultate

Naslov Web geometry laboratory: case studies in Portugal and Serbia (Article)
Autori Santos Vanda  Quaresma Pedro  Maric Milena  Campos Helena 
Info INTERACTIVE LEARNING ENVIRONMENTS, (2018), vol. 26 br. 1, str. 3-21
Projekat National Funds through FCT - Fundacao para a Ciencia e a Tecnologia [UID/CED/00194/2013]; Foundation for Science and Technology and by the European Regional Development Fund (FEDER), through the COMPETE 2020 - Operational Program for Competitiveness and I
Ispravka ISI/Web of Science   Članak   Elečas   Rang časopisa   Citati: ISI/Web of Science   Scopus  
Naslov The Area Method A Recapitulation (Article)
Autori Janicic Predrag  Narboux Julien  Quaresma Pedro 
Info JOURNAL OF AUTOMATED REASONING, (2012), vol. 48 br. 4, str. 489-532
Projekat Ministry of Science of Serbia[144030]; ANR
Ispravka ISI/Web of Science   Članak   Elečas   Rang časopisa   Citati: ISI/Web of Science  
Naslov System description: GCLCprover plus GeoThms (Article)
Autori Janicic Predrag  Quaresma Pedro 
Info AUTOMATED REASONING, PROCEEDINGS, (2006), vol. 4130 br. , str. 145-150
Ispravka ISI/Web of Science   Članak   Elečas   Rang časopisa   Citati: ISI/Web of Science   Scopus  
Naslov Integrating dynamic geometry software, deduction systems, and theorem repositories (Article)
Autori Quaresma Pedro  Janicic Predrag 
Info MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, (2006), vol. 4108 br. , str. 280-294
Ispravka ISI/Web of Science   Članak   Elečas   Rang časopisa   Citati: ISI/Web of Science   Scopus  
Ispis zapisa u formatu:TXT | BibTeX