Истраживачи
Berković, Ivana
Резултати 1-20 од 49
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1999 | PROLOG u nastavi![]() | Berković, Ivana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | ADT sistem kao osnova inteligentnih tutorskih sistema![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1999 | DEDUC-programski sistem za generisanje rasporeda časova![]() | Hotomski, Petar | Монографија | Мп категорија ће бити приказана накнадно. |
| 1999 | Primena jezika logičkog programiranja u implementaciji metode kritičnog puta![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1998 | The educational aspects of using PROLOG![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1998 | Mogućnosti primene jezika logičkog programiranja baziranog na ADT sistemu![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Neki aspekti razvoja neprocedurnih jezika logičkog programiranja i njihov značaj za obrazovanje![]() | Berković, Ivana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1997 | Uloga jezika logičkog programiranja u dijalogu učenika i računara![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | A Technique for the Implicational Problem Resolving for Generalized Data Dependencies![]() | Luković, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Some possibilities of PROLOG implementation in Computer Graphics![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | A solution of the implicational problem for generalized data dependencies![]() | Luković, Ivan; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Mogućnosti predstavljanja znanja na neprocedurnom jeziku logičkog programiranja![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Interval Calculus in Computer Graphics![]() | Mitrović, Žarko; Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Kvantifikacija izvesnosti realizacije superponiranih tokova materijala u mašinogradnji![]() | Lipovac, Dušan; Letić, Duško | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Programski paketi za matematičko rešavanje problema![]() | Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanja![]() | Luković, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Some development aspects on nonprocedural languages of logical programming and importance for education![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1995 | Ordered linear resolution as the base of the system for automatic theorem proving![]() | Berković, Ivana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1995 | Rozete u računarskoj grafici![]() | Mitrović, Žarko; Berković, Ivana | Научни чланак | Мп категорија ће бити приказана накнадно. |
