Ognjanović, Zoran

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 261-280 од 305 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2003	A probabilistic extension of intuitionistic logic	Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag	Научни чланак	22M22 - Међународни часопис категорије M22
2003	Nacionalni centar za digitalizaciju - godina prva	Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2002	A probabilistic logic based on propositional intuitionistic logic	Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2001	A genetic algorithm for satisfiability problem in a probabilistic logic: A first report	Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2001	Primena genetskih algoritama na SAT problem	Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2001	Completeness theorem for a first order linear-time logic	Ognjanović, Zoran	Naučni članak	Mp kategorija će biti prikazana naknadno.
2001	An automated theorem prover for the probability logic LPP	Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2001	The resolution tableau for logics of likelihood	Ognjanović, Zoran	Naučni članak	Mp kategorija će biti prikazana naknadno.
2001	On classical logicwith probability operators: A short survay	Rašković, Miodrag; Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2001	Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka	Mihaljević, Miodrag J. ; Marković, Zoran; Urošević, Dragan ; Ognjanović, Zoran	Tehničko rešenje	Mp kategorija će biti prikazana naknadno.
2000	A new program for cryptographic authetification control of data	Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2000	On two approaches to modal theorem proving	Ognjanović, Zoran ; Timotijević, Tatjana	Naučni članak	Mp kategorija će biti prikazana naknadno.
2000	Some first-order probability logics	Ognjanović, Zoran ; Rašković, Miodrag	Naučni članak	22M22 - Međunarodni časopis kategorije M22
1999	A first order probability logic, LPQ	Rašković, Miodrag; Ognjanović, Zoran	Naučni članak	Mp kategorija će biti prikazana naknadno.
1999	Some probability logics with new types of probability operators	Ognjanović, Zoran ; Rašković, Miodrag	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
1999	New software for cryptographic control of data integrity	Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
1999	Neke verovatnosne logike i njihove primene u računarstvu	Ognjanović, Zoran	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
1998	A logic for temporal and probabilistic reasoning	Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
1997	Prezentovanje kulturne baštine Muzeja grada Beograda na Internetu	Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran ; Midić, Uroš	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
1997	Sredstva za arhiviranje i prikazivanje multimedijalnih baza preko Interneta	Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran	Konferencijski rad	Mp kategorija će biti prikazana naknadno.