Istraživači

eNauka > Istraživači > Savić, Nenad

Savić, Nenad

Tip

Godina

11 2010 - 2019

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 1-11 od 11 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2017	Justification logic with approximate conditional probabilities	Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
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.
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
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Probabilistic reasoning in types systems	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Towards probabilistic reasoning about lambda terms with intersection types	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	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	Normalisation in substructural term calculi	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.
2015	An optimisation of lambda type assignments via resource control	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Konferencijski rad	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.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.