Istraživači

eNauka > Istraživači > Ognjanović, Zoran

Ognjanović, Zoran

Saradnja

Mp-kat.

4 M30/M60

Godina - raspon

Godina od:

Godina do:

Filtrirano po:

Godina: [2020 TO 2025]

Godina: 2020

Tip: Konferencijski rad

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2020	An Introduction To Logics With Probability Operators	Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	Logical formalization of Bayesian concepts of confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (✓)	Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	Reasoning About Degrees of Confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.