Истраживачи

еНаука > Истраживачи > Ognjanović, Zoran

Ognjanović, Zoran

Сарадња

Мп-кат.

4 M30/M60

Година - распон

Година од:

Година до:

Филтрирано по:

Година: [2020 TO 2025]

Година: 2020

Тип: Конференцијски рад

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2020	Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (✓)	Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Reasoning About Degrees of Confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	An Introduction To Logics With Probability Operators	Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Logical formalization of Bayesian concepts of confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.