Истраживачи
Ognjanović, Zoran
Година - распон
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2010 | An axiomatization of a first-order branching time temporal logic | Doder, Dragan ; Ognjanović, Zoran ; Zoran Marković | Научни чланак | Мп категорија ће бити приказана накнадно. |
2010 | An extension of the probability logic $LPP_2$ | Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
2010 | A probabilistic temporal Logic that can model reasoning about evidence | Perović, Aleksandar ; Doder, Dragan ; Zoran Markovic; Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2010 | Digitization of mathematical editions in Serbia | Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, Aleksandar | Научни чланак | Мп категорија ће бити приказана накнадно. |