еНаука - преглед
Преглед према Пројекат Swiss National Science Foundation, grant 200021_165549
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2017 | Logics with lower and upper probability operators | Savić, Nenad  ; Doder, Dragan ; Ognjanović, Zoran  | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |