еНаука - преглед
Преглед према Пројекат Serbian Ministry of Science [174021]
Приказ резултата 1 до 3 од 3
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2023 | A Proof System for Graph (Non)-Isomorphism Verification | Bankovic, Milan M   ; Drecun, Ivan ; Maric, Filip M | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2023 | Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers | Bankovic, Milan M | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2025 | Automation of triangle straightedge-and-compass constructions using automated planning | Bankovic, Milan | Научни чланак | 22M22 - Међународни часопис категорије M22 |