eNauka - pregled
Pregled prema Projekat Serbian Ministry of Science [174021]
Prikaz rezultata 1 do 3 od 3
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2023 | A Proof System for Graph (Non)-Isomorphism Verification | Bankovic, Milan M   ; Drecun, Ivan ; Maric, Filip M | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2023 | Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers | Bankovic, Milan M | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2025 | Automation of triangle straightedge-and-compass constructions using automated planning | Bankovic, Milan | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |