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 | Web of Science Elečas Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
