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