eNauka - pregled
Pregled prema Projekat Swiss National Science Foundation, Grant 200021 165549
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2017 | Logics with lower and upper probability operators | Savić, Nenad  ; Doder, Dragan ; Ognjanović, Zoran  | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Conference Paper | Mp. category will be shown later |