Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | Primena genetskih algoritama na SAT problem | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka | Mihaljević, Miodrag J. ![]() ![]() ![]() ![]() ![]() ![]() | Техничко решење | Мп категорија ће бити приказана накнадно. |
2001 | On classical logicwith probability operators: A short survay | Rašković, Miodrag; Ognjanović, Zoran ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | Completeness theorem for a first order linear-time logic | Ognjanović, Zoran ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2001 | A genetic algorithm for satisfiability problem in a probabilistic logic: A first report | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2001 | An automated theorem prover for the probability logic LPP | Rašković, Miodrag; Ognjanović, Zoran ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | The resolution tableau for logics of likelihood | Ognjanović, Zoran ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2000 | On two approaches to modal theorem proving | Ognjanović, Zoran ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2000 | A new program for cryptographic authetification control of data | Bojanić, Slobodan; Mihaljević, Miodrag J. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2000 | Some first-order probability logics | Ognjanović, Zoran ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |