eNauka - pregled
Pregled prema Autor Nenad Savic
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |