Researchers
Hotomski, Petar
Type
Date issued
Results 21-36 of 36
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu | Berković, Ivana   ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 1997 | A Technique for the Implicational Problem Resolving for Generalized Data Dependencies | Luković, Ivan ; Hotomski, Petar ; Radulović, Biljana ; Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1997 | Uloga jezika logičkog programiranja u dijalogu učenika i računara | Berković, Ivana ; Hotomski, Petar ; Radosav, Dragica | 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 ; Hotomski, Petar | Article | Mp. category will be shown later |
| 1997 | A solution of the implicational problem for generalized data dependencies | Luković, Ivan ; Hotomski, Petar ; Radulović, (Ćurić) Biljana ; Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1996 | Programski paketi za matematičko rešavanje problema | Hotomski, Petar ; Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1996 | Dokaz zadovoljenja generalizovanih zavisnosti podataka metodom automatskog rezonovanja | Luković, Ivan ; Hotomski, Petar ; Radulović, (Ćurić) Biljana ; Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1996 | Some development aspects on nonprocedural languages of logical programming and importance for education | Berković, Ivana ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 1995 | Primene rezolucijskih procedura u obradi tehničkih sadržaja | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 1995 | Sistemi automatskog rezonovanja u tenici i tehnologiji | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana | Conference Paper | Mp. category will be shown later |
| 1995 | Sistem ADT i relacione baze podataka | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Article | Mp. category will be shown later |
| 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 | Technical reports | Mp. category will be shown later |
| 1995 | Automated reasoning systems in technics and technologies | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana | Conference Paper | Mp. category will be shown later |
| 1994 | Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama | Hotomski, Petar ; Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 1991 | Implementacija nekih poboljšanja rezolucijskog dokazivača teorema | Berković, Ivana ; Hotomski, Petar ; Radulović, (Ćurić) Biljana | Conference Paper | Mp. category will be shown later |
| 1990 | Bibliografija iz oblasti informatizacije obrazovanja (1987/88.) | Berković, Ivana ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |