eNauka - pregled
Pregled prema Autor Quaresma, Pedro
Prikaz rezultata 1 do 7 od 7
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2007 | Automatic verification of regular constructions in dynamic geometry systems | Janicic, Predrag   ; Quaresma, Pedro | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Deduction in Education: the Case of Serbia | Tomić, Bojan ; Milovanović, Milos; Medić-Simić, Gordana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2006 | Integrating dynamic geometry software, deduction systems, and theorem repositories | Quaresma, Pedro; Janicic, Predrag | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2006 | System description: GCLCprover plus GeoThms | Janicic, Predrag ; Quaresma, Pedro | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2012 | The Area Method: A Recapitulation | Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2018 | Web geometry laboratory: case studies in Portugal and Serbia | Santos, Vanda; Quaresma, Pedro; Maric, Milena; Campos, Helena | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2008 | XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs | Quaresma, Pedro; Janicic, Predrag ; Graovac, Jelena ; Vujoševic-Janicic, Milena ; Tošic, Dušan | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |