Pronađeno: 1-1 / 1 radova

Autori: Novakovic Viktor

>> Filter: Samo Article i Review

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:
Ispis zapisa u formatu:TXT | BibTeX