Pronađeno: 1-4 / 4 radova

Autori: Quaresma Pedro

>> Prikaži sve rezultate

>> Sve godine

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 Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
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 Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
Naslov System description: GCLCprover plus GeoThms (Article)
Autori Janicic Predrag  Quaresma Pedro 
Info AUTOMATED REASONING, PROCEEDINGS, (2006), vol. 4130 br. , str. 145-150
Ispravka Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
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 Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
>> Sve godine

Ispis zapisa u formatu:TXT | BibTeX