еНаука - преглед
Преглед према Пројекат Serbian Ministry of Education, Science and Technological Development [174021]
Приказ резултата 1 до 3 од 3
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2017 | ArgoTriCS - automated triangle construction solver | Marinković, Vesna   | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2015 | Proof Simplification in the Framework of Coherent Logic | Marinković, Vesna N. | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2023 | The Number of Nonequivalent Monotone Boolean Functions of 8 Variables | Caric, Marko ; Zivkovic, Miodrag V | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |