еНаука - преглед
Преглед према Пројекат 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 - Рад у врхунском међ. часопису |
2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (✓) | Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |