Istraživači
Ognjanović, Zoran
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2010 | Digitization of mathematical editions in Serbia | Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, Aleksandar | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2010 | An axiomatization of a first-order branching time temporal logic | Doder, Dragan ; Ognjanović, Zoran ; Zoran Marković | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2010 | An extension of the probability logic $LPP_2$ | Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2010 | A probabilistic temporal Logic that can model reasoning about evidence | Perović, Aleksandar ; Doder, Dragan ; Zoran Markovic; Ognjanović, Zoran ; Rašković, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |