Researchers



Results 241-260 of 293
ГодинаНасловАутор(и)Тип резултатаМп-кат.
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
1999Primena jezika logičkog programiranja u implementaciji metode kritičnog putaBerković, 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
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
1997Some possibilities of PROLOG implementation in Computer GraphicsBerković, Ivana  ; Mitrović, ŽarkoConference 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
1996Interval Calculus in Computer GraphicsMitrović, Žarko; Berković, Ivana  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
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
1996Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanjaLuković, Ivan  ; Hotomski, Petar ; Radulović, (Ćurić) Biljana  ; 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
1995Rozete u računarskoj graficiMitrović, Žarko; Berković, Ivana  Article
Mp. category will be shown later
1995Ordered linear resolution as the base of the system for automatic theorem provingBerković, Ivana  Article
Mp. category will be shown later
1995Neki aspekti primene rezolucijski zasnovanog automatskog dokazivača teoremaBerković, Ivana  ; Radulović, (Ćurić) Biljana  Conference Paper
Mp. category will be shown later
1995Relacione i objektne baze podatakaRadulović, (Ćurić) Biljana  ; Berković, Ivana  Conference Paper
Mp. category will be shown later