еНаука - преглед

Преглед према Пројекат Swiss National Science Foundation, grant 200021_165549

Приказ резултата 1 до 2 од 2
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2017Logics with lower and upper probability operatorsSavić, Nenad ; Doder, Dragan ; Ognjanović, Zoran  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2020Towards Probabilistic Reasoning in Type Theory - The Intersection Type CaseGhilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.