Истраживачи



Филтрирано по:
Година:  [2010 TO 2019]
Година:  2010
???jsp.search.filter.citation_category???:  M20/M50

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