Autori: Botana Francisco
| 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 | ISI/Web of Science Elečas Citati: ISI/Web of Science Scopus |
| Naslov | Automated Theorem Proving in GeoGebra: Current Achievements (Article) |
| Autori | Botana Francisco Hohenwarter Markus Janicic Predrag Kovacs Zoltan Petrovic Ivan Recio Tomas Weitzhofer Simon |
| Info | JOURNAL OF AUTOMATED REASONING, (2015), vol. 55 br. 1, str. 39-59 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
