Autori: Kovacs Zoltan
Naslov | Portfolio theorem proving and prover runtime prediction for geometry (Article; Proceedings Paper) |
Autori | Nikolic Mladen Marinkovic Vesna Kovacs Zoltan Janicic Predrag |
Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2019), vol. 85 br. 2-4, str. 119-146 |
Projekat | Ministry of Science of Serbia [174021] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Essentials of Aquaphotomics and Its Chemometrics Approaches (Article) |
Autori | Tsenkova Roumiana Muncan Jelena S Pollner Bernhard Kovacs Zoltan |
Info | FRONTIERS IN CHEMISTRY, (2018), vol. 6 br. , str. - |
Projekat | JSPS Postdoctoral Fellowship for Foreign Researchers [P17406]; Janos Bolyai Research Scholarship of the Hungarian Academy of Sciences, Hungary; New National Excellence Program of the Ministry of Human Capacities [UNKP-17-4] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa 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 |