Istraživači
Berković, Ivana
Rezultati 241-260 od 294
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 1999 | DEDUC-programski sistem za generisanje rasporeda časova | Hotomski, Petar  ; Berković, Ivana  ; Prohaska, Dragan; Radulović, (Ćurić) Biljana ; Divjak, Nedeljko ; Radišić, Duško | Monografija | Mp kategorija će biti prikazana naknadno. |
| 1999 | PROLOG u nastavi | Berković, Ivana | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1999 | ADT sistem kao osnova inteligentnih tutorskih sistema | Berković, Ivana ; Brtka, Vladimir | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu | Berković, Ivana ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1998 | The educational aspects of using PROLOG | Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1998 | Mogućnosti primene jezika logičkog programiranja baziranog na ADT sistemu | Berković, Ivana ; Brtka, Vladimir | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Neki aspekti razvoja neprocedurnih jezika logičkog programiranja i njihov značaj za obrazovanje | Berković, Ivana ; Hotomski, Petar | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1997 | Uloga jezika logičkog programiranja u dijalogu učenika i računara | Berković, Ivana ; Hotomski, Petar ; Radosav, Dragica | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | A solution of the implicational problem for generalized data dependencies | Luković, Ivan ; Hotomski, Petar ; Radulović, (Ćurić) Biljana ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Mogućnosti predstavljanja znanja na neprocedurnom jeziku logičkog programiranja | Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Some possibilities of PROLOG implementation in Computer Graphics | Berković, Ivana ; Mitrović, Žarko | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | A Technique for the Implicational Problem Resolving for Generalized Data Dependencies | Luković, Ivan ; Hotomski, Petar ; Radulović, Biljana ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1996 | Kvantifikacija izvesnosti realizacije superponiranih tokova materijala u mašinogradnji | Lipovac, Dušan; Letić, Duško ; Dimitrijević, P; Berković, Ivana ; Radulović, (Ćurić) Biljana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1996 | Programski paketi za matematičko rešavanje problema | Hotomski, Petar ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1996 | Interval Calculus in Computer Graphics | Mitrović, Žarko; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1996 | Some development aspects on nonprocedural languages of logical programming and importance for education | Berković, Ivana ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1996 | Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanja | Luković, Ivan ; Hotomski, Petar ; Radulović, (Ćurić) Biljana ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1995 | Informatičko obrazovanje kao faktor razvoja u energetici i energetskim tehnologijama | Radosav, (Stoin) Dragica ; Radulović, (Ćurić) Biljana ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1995 | Primene rezolucijskih procedura u obradi tehničkih sadržaja | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1995 | Sistemi automatskog rezonovanja u tenici i tehnologiji | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |