Istraživači
Hotomski, Petar
Godina
Mp-kat.
Godina - raspon
Rezultati 21-36 od 36
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu | Berković, Ivana   ; Hotomski, Petar | 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. |
| 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 | 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 | 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. |
| 1996 | Programski paketi za matematičko rešavanje problema | Hotomski, Petar ; Berković, Ivana | 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. |
| 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. |
| 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. |
| 1995 | Sistem ADT i relacione baze podataka | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 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 | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |
| 1995 | Automated reasoning systems in technics and technologies | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1994 | Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama | Hotomski, Petar ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1991 | Implementacija nekih poboljšanja rezolucijskog dokazivača teorema | Berković, Ivana ; Hotomski, Petar ; Radulović, (Ćurić) Biljana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1990 | Bibliografija iz oblasti informatizacije obrazovanja (1987/88.) | Berković, Ivana ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |