Истраживачи
Hotomski, Petar
Година
Мп-кат.
Година - распон
Резултати 21-36 од 36
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu | Berković, Ivana   ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | A Technique for the Implicational Problem Resolving for Generalized Data Dependencies | Luković, Ivan ; Hotomski, Petar ; Radulović, Biljana ; Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Neki aspekti razvoja neprocedurnih jezika logičkog programiranja i njihov značaj za obrazovanje | Berković, Ivana ; Hotomski, Petar | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1997 | A solution of the implicational problem for generalized data dependencies | Luković, Ivan ; Hotomski, Petar ; Radulović, (Ćurić) Biljana ; Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Uloga jezika logičkog programiranja u dijalogu učenika i računara | Berković, Ivana ; Hotomski, Petar ; Radosav, Dragica | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Programski paketi za matematičko rešavanje problema | Hotomski, Petar ; Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanja | Luković, Ivan ; Hotomski, Petar ; Radulović, (Ćurić) Biljana ; Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Some development aspects on nonprocedural languages of logical programming and importance for education | Berković, Ivana ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1995 | Prototip porologolikog jezika LP logičkog programiranja, zasnovan na rezolucijskom dokazivaču teorema Korisnik: Rađeno za: Tehnički fakultet | Berković, Ivana ; Hotomski, Petar ; Brtka, Vladimir | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 1995 | Sistemi automatskog rezonovanja u tenici i tehnologiji | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1995 | Primene rezolucijskih procedura u obradi tehničkih sadržaja | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1995 | Sistem ADT i relacione baze podataka | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1995 | Automated reasoning systems in technics and technologies | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1994 | Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama | Hotomski, Petar ; Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1991 | Implementacija nekih poboljšanja rezolucijskog dokazivača teorema | Berković, Ivana ; Hotomski, Petar ; Radulović, (Ćurić) Biljana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1990 | Bibliografija iz oblasti informatizacije obrazovanja (1987/88.) | Berković, Ivana ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |