Ognjanović, Zoran

Тип

Година

273 2000 - 2027
32 1900 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2003	Nacionalni centar za digitalizaciju	Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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	An automated theorem prover for the probability logic LPP	Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2001	The resolution tableau for logics of likelihood	Ognjanović, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2001	A genetic algorithm for satisfiability problem in a probabilistic logic: A first report	Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš	Научни чланак	21M21 - Водећи међународни часопис категорије M21
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	Техничко решење	Мп категорија ће бити приказана накнадно.
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	Primena genetskih algoritama na SAT problem	Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Some first-order probability logics	Ognjanović, Zoran ; Rašković, Miodrag	Научни чланак	22M22 - Међународни часопис категорије M22
2000	On two approaches to modal theorem proving	Ognjanović, Zoran ; Timotijević, Tatjana	Научни чланак	Мп категорија ће бити приказана накнадно.
2000	A new program for cryptographic authetification control of data	Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1999	Some probability logics with new types of probability operators	Ognjanović, Zoran ; Rašković, Miodrag	Научни чланак	21M21 - Водећи међународни часопис категорије M21
1999	A first order probability logic, LPQ	Rašković, Miodrag; Ognjanović, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
1999	New software for cryptographic control of data integrity	Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1999	Neke verovatnosne logike i njihove primene u računarstvu	Ognjanović, Zoran	Докторска дисертација	70M70 - Одбрањена докторска дисертација
1998	A logic for temporal and probabilistic reasoning	Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1997	Veštačka inteligencija : inteligentne mašine i sistemi	Jocković, Miroslav; Ognjanović, Zoran ; Stankovski, Stevan	Монографија	Мп категорија ће бити приказана накнадно.
1997	The completeness theorem for a temporal logic with probabilistic operators	Ognjanović, Zoran ; Rašković, Miodrag	Конференцијски рад	Мп категорија ће бити приказана накнадно.