Ognjanović, Zoran
Loading...
3
0
20
0
false
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Type
Results 1-4 of 4 (Search time: 0.002 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ognjanović, Zoran | A tableau-like proof procedure for normal modal logics | 20-Jun-1994 | Theoretical Computer Science; 129(1); 167-186 | M23 |
2 | Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | LPP-logic about Probability | 1994 | XXI SYM-OP-IS '94, Kotor 1994.; 179-182 | M63 |
3 | Ognjanović, Zoran | Tehnologija ekspertnih sistema | 1994 | IV Naučni skup o sistemu naučnih i tehnoloških informacija "Stanje i tendencije razvoja sistema naučnih, tehnoloških i poslovnih informacija u Saveznoj republici Jugoslaviji", Vrnjačka Banja, 7. i 8. april 1994; 53-56 | M63 |
4 | Jocković, Miroslav; Ognjanović, Zoran | Jedno rešenja sistema zasnovanih na znanju za upravljanje fleksibilnom proizvodnjom ćelijom | 1994 | Veštačka inteligencija; 181-196 | M45 |
Results 1-3 of 3 (Search time: 0.0 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT III 044006 | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education | 01-01-2011 | 31-12-2019 | Ognjanović, Zoran |
PROJECT 1379 | Methods of Mathematical Logic for Decision Support in Real Life Situations | 01-01-2002 | 31-12-2005 | Ognjanović, Zoran |
PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |