Autori: Novakovic Viktor
| Naslov | Readable automated proofs of ruler and compass constructions (Article; Early Access) |
| Autori | Marinkovic Vesna Sukilovic Tijana Novakovic Viktor Maric Filip M |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2025), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-47/2023-01/ 200104]; Serbian Ministry of Education, Science and Technological Development through the University of Belgrade [7744592]; Science Fund of the Republic of Serbia |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
