eNauka - pregled
Pregled prema Autor Savić, Nenad
Prikaz rezultata 1 do 11 od 11
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad  ; Doder, Dragan ; Ognjanović, Zoran  | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2013 | Hematological evaluation of Rainbow trout (Oncorhynchus mykiss) fingerlings from different hatcheries | R. Dekić; A. Ivanc; SAVIĆ, NENAD D. ; Manojlović, Maja S. ; Ćetković, Dejan B. ; Obradović, Saša V. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Logics with lower and upper probability operators | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2015 | Normalisation in substructural term calculi | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |