Istraživači



Filtrirano po:
Godina:  [2010 TO 2019]
Godina:  2010
???jsp.search.filter.citation_category???:  M20/M50

GodinaNaslovAutor(i)Tip rezultataMp-kat.
2010Digitization of mathematical editions in SerbiaMijajlović, Žarko; Ognjanović, Zoran  ; Pejović, Aleksandar Naučni članak
Mp kategorija će biti prikazana naknadno.
2010An axiomatization of a first-order branching time temporal logicDoder, Dragan ; Ognjanović, Zoran  ; Zoran MarkovićNaučni članak
Mp kategorija će biti prikazana naknadno.
2010An extension of the probability logic $LPP_2$Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran  Naučni članak
Mp kategorija će biti prikazana naknadno.
2010A probabilistic temporal Logic that can model reasoning about evidencePerović, Aleksandar  ; Doder, Dragan ; Zoran Markovic; Ognjanović, Zoran  ; Rašković, Miodrag  Naučni članak
Mp kategorija će biti prikazana naknadno.