Истраживачи

Филтрирано по:
Година:  [1990 TO 1999]

Резултати 1-20 од 49
ГодинаНасловАутор(и)Тип резултатаМп-кат.
1999PROLOG u nastaviBerković, Ivana  Научни чланак
Мп категорија ће бити приказана накнадно.
1999ADT sistem kao osnova inteligentnih tutorskih sistemaBerković, Ivana  ; Brtka, Vladimir  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1999DEDUC-programski sistem za generisanje rasporeda časovaHotomski, Petar ; Berković, Ivana  ; Prohaska, Dragan; Radulović, (Ćurić) Biljana  ; Divjak, Nedeljko ; Radišić, DuškoМонографија
Мп категорија ће бити приказана накнадно.
1999Primena jezika logičkog programiranja u implementaciji metode kritičnog putaBerković, Ivana  ; Brtka, Vladimir  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1998Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemuBerković, Ivana  ; Hotomski, Petar Конференцијски рад
Мп категорија ће бити приказана накнадно.
1998The educational aspects of using PROLOGBerković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1998Mogućnosti primene jezika logičkog programiranja baziranog na ADT sistemuBerković, Ivana  ; Brtka, Vladimir  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1997Neki aspekti razvoja neprocedurnih jezika logičkog programiranja i njihov značaj za obrazovanjeBerković, Ivana  ; Hotomski, Petar Научни чланак
Мп категорија ће бити приказана накнадно.
1997Uloga jezika logičkog programiranja u dijalogu učenika i računaraBerković, Ivana  ; Hotomski, Petar ; Radosav, Dragica  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1997A Technique for the Implicational Problem Resolving for Generalized Data DependenciesLuković, Ivan  ; Hotomski, Petar ; Radulović, Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1997Some possibilities of PROLOG implementation in Computer GraphicsBerković, Ivana  ; Mitrović, ŽarkoКонференцијски рад
Мп категорија ће бити приказана накнадно.
1997A solution of the implicational problem for generalized data dependenciesLuković, Ivan; Hotomski, Petar ; Radulović, (Ćurić) Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1997Mogućnosti predstavljanja znanja na neprocedurnom jeziku logičkog programiranjaBerković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1996Interval Calculus in Computer GraphicsMitrović, Žarko; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1996Kvantifikacija izvesnosti realizacije superponiranih tokova materijala u mašinogradnjiLipovac, Dušan; Letić, Duško  ; Dimitrijević, P; Berković, Ivana  ; Radulović, (Ćurić) Biljana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1996Programski paketi za matematičko rešavanje problemaHotomski, Petar ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1996Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanjaLuković, Ivan  ; Hotomski, Petar ; Radulović, (Ćurić) Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1996Some development aspects on nonprocedural languages of logical programming and importance for educationBerković, Ivana  ; Hotomski, Petar Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Ordered linear resolution as the base of the system for automatic theorem provingBerković, Ivana  Научни чланак
Мп категорија ће бити приказана накнадно.
1995Rozete u računarskoj graficiMitrović, Žarko; Berković, Ivana  Научни чланак
Мп категорија ће бити приказана накнадно.