еНаука - преглед
Преглед према Аутор Savić, Nenad
Приказ резултата 1 до 11 од 11
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad  ; Doder, Dragan ; Ognjanović, Zoran  | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 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 | Article | 21M21 |
| 2015 | Normalisation in substructural term calculi | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Conference Paper | Mp. category will be shown later |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD | Conference Paper | Mp. category will be shown later |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD D. | Conference Paper | Mp. category will be shown later |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. | Conference Paper | Mp. category will be shown later |