еНаука - преглед
Преглед према Пројекат Ministry of Science of Serbia [174021]
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Portfolio theorem proving and prover runtime prediction for geometry | Nikolić, Mladen   ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |