Autori: Recio Tomas
| 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 |
     |
