Autori: Quaresma Pedro
| Naslov | Preface (Proceedings Paper) |
| Autori | Botana Francisco Brucker Achim Hasek Roman Maric Filip M  Neuper Walther Pech Pavel Quaresma Pedro Santos Vanda Schreiner Wolfgang Wolff Burkhart
|
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2018), vol. br. 267, str. - |
| Ispravka | Web of Science Elečas Citati: Web of Science Scopus |
     |
| 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 |
|
|
| 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 |
|
|
| Naslov | Automatic verification of regular constructions in dynamic geometry systems (Proceedings Paper) |
| Autori | Janicic Predrag Quaresma Pedro
|
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2007), vol. 4869 br. , str. 39-51 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| 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 |
|
|
| 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 |
|
|
