Researchers



Results 241-260 of 294
Issue DateTitleAuthor(s)TypeМp-cat.
1999DEDUC-programski sistem za generisanje rasporeda časovaHotomski, Petar ; Berković, Ivana  ; Prohaska, Dragan; Radulović, (Ćurić) Biljana  ; Divjak, Nedeljko ; Radišić, DuškoMonograph
Mp. category will be shown later
1999PROLOG u nastaviBerković, Ivana  Article
Mp. category will be shown later
1999ADT sistem kao osnova inteligentnih tutorskih sistemaBerković, Ivana  ; Brtka, Vladimir  Conference Paper
Mp. category will be shown later
1998Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemuBerković, Ivana  ; Hotomski, Petar Conference Paper
Mp. category will be shown later
1998The educational aspects of using PROLOGBerković, Ivana  Conference Paper
Mp. category will be shown later
1998Mogućnosti primene jezika logičkog programiranja baziranog na ADT sistemuBerković, Ivana  ; Brtka, Vladimir  Conference Paper
Mp. category will be shown later
1997Neki aspekti razvoja neprocedurnih jezika logičkog programiranja i njihov značaj za obrazovanjeBerković, Ivana  ; Hotomski, Petar Article
Mp. category will be shown later
1997Uloga jezika logičkog programiranja u dijalogu učenika i računaraBerković, Ivana  ; Hotomski, Petar ; Radosav, Dragica  Conference Paper
Mp. category will be shown later
1997A solution of the implicational problem for generalized data dependenciesLuković, Ivan  ; Hotomski, Petar ; Radulović, (Ćurić) Biljana  ; Berković, Ivana  Conference Paper
Mp. category will be shown later
1997Mogućnosti predstavljanja znanja na neprocedurnom jeziku logičkog programiranjaBerković, Ivana  Conference Paper
Mp. category will be shown later
1997Some possibilities of PROLOG implementation in Computer GraphicsBerković, Ivana  ; Mitrović, ŽarkoConference Paper
Mp. category will be shown later
1997A Technique for the Implicational Problem Resolving for Generalized Data DependenciesLuković, Ivan  ; Hotomski, Petar ; Radulović, Biljana  ; Berković, Ivana  Conference Paper
Mp. category will be shown later
1996Kvantifikacija izvesnosti realizacije superponiranih tokova materijala u mašinogradnjiLipovac, Dušan; Letić, Duško  ; Dimitrijević, P; Berković, Ivana  ; Radulović, (Ćurić) Biljana  Conference Paper
Mp. category will be shown later
1996Programski paketi za matematičko rešavanje problemaHotomski, Petar ; Berković, Ivana  Conference Paper
Mp. category will be shown later
1996Interval Calculus in Computer GraphicsMitrović, Žarko; Berković, Ivana  Conference Paper
Mp. category will be shown later
1996Some development aspects on nonprocedural languages of logical programming and importance for educationBerković, Ivana  ; Hotomski, Petar Conference Paper
Mp. category will be shown later
1996Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanjaLuković, Ivan  ; Hotomski, Petar ; Radulović, (Ćurić) Biljana  ; Berković, Ivana  Conference Paper
Mp. category will be shown later
1995Informatičko obrazovanje kao faktor razvoja u energetici i energetskim tehnologijamaRadosav, (Stoin) Dragica  ; Radulović, (Ćurić) Biljana  ; Berković, Ivana  Conference Paper
Mp. category will be shown later
1995Primene rezolucijskih procedura u obradi tehničkih sadržajaBerković, Ivana  ; Radulović, (Ćurić) Biljana  ; Hotomski, Petar Conference Paper
Mp. category will be shown later
1995Sistemi automatskog rezonovanja u tenici i tehnologijiHotomski, Petar ; Berković, Ivana  ; Radulović, (Ćurić) Biljana  Conference Paper
Mp. category will be shown later