Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | A case study of the usage of information technologies and mobile devices by visitors in museum environments | Tatić, Dušan D. ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Digitalizacija časopisa filmske sveske' (1968 -1986) | Vujošević, Sandra Z. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | A probabilistic temporal logic with countably additive semantics | Doder, Dragan J. ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Digitalizacija časopisa "Filmske sveske" (1968-1986) (✓) | Vujošević, Sandra ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | A Probability Logic for Reasoning About Quantum Observations | Ilić-Stepić, Angelina V. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Matematički metodi i zaštita privatnosti | Gilezan, Silvia K. ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Digitalizacija časopsisa Filmske sveske (1968-1986) | Vujošević, Sandra Z. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | Paola Glavan; Marinković, Bojan B. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Universal electronic guide developed in unity environment | Tatić, Dušan D. ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |