Researchers
Berković, Ivana
Results 241-260 of 293
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1999 | DEDUC-programski sistem za generisanje rasporeda časova![]() | Hotomski, Petar | Monograph | Mp. category will be shown later |
| 1999 | Primena jezika logičkog programiranja u implementaciji metode kritičnog puta![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1998 | The educational aspects of using PROLOG![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1998 | Mogućnosti primene jezika logičkog programiranja baziranog na ADT sistemu![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1997 | A Technique for the Implicational Problem Resolving for Generalized Data Dependencies![]() | Luković, Ivan | Conference Paper | Mp. category will be shown later |
| 1997 | Some possibilities of PROLOG implementation in Computer Graphics![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1997 | Neki aspekti razvoja neprocedurnih jezika logičkog programiranja i njihov značaj za obrazovanje![]() | Berković, Ivana | Article | Mp. category will be shown later |
| 1997 | Uloga jezika logičkog programiranja u dijalogu učenika i računara![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1997 | A solution of the implicational problem for generalized data dependencies![]() | Luković, Ivan | Conference Paper | Mp. category will be shown later |
| 1997 | Mogućnosti predstavljanja znanja na neprocedurnom jeziku logičkog programiranja![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1996 | Interval Calculus in Computer Graphics![]() | Mitrović, Žarko; Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1996 | Programski paketi za matematičko rešavanje problema![]() | Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 1996 | Kvantifikacija izvesnosti realizacije superponiranih tokova materijala u mašinogradnji![]() | Lipovac, Dušan; Letić, Duško | Conference Paper | Mp. category will be shown later |
| 1996 | Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanja![]() | Luković, Ivan | Conference Paper | Mp. category will be shown later |
| 1996 | Some development aspects on nonprocedural languages of logical programming and importance for education![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1995 | Rozete u računarskoj grafici![]() | Mitrović, Žarko; Berković, Ivana | Article | Mp. category will be shown later |
| 1995 | Ordered linear resolution as the base of the system for automatic theorem proving![]() | Berković, Ivana | Article | Mp. category will be shown later |
| 1995 | Neki aspekti primene rezolucijski zasnovanog automatskog dokazivača teorema![]() | Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1995 | Relacione i objektne baze podataka![]() | Radulović, (Ćurić) Biljana | Conference Paper | Mp. category will be shown later |
