Istraživači
Hotomski, Petar
Godina
Mp-kat.
Godina - raspon
Rezultati 1-20 od 36
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2010 | Problemi u vođenju košarkaške statistike | Markoski, Branko S.   ; Ivanković, Zdravko B. ; Nikolić, Milan ; Hotomski S. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Naučni članak | 24M24 - Vodeći nacionalni časopis kategorije M24 |
| 2009 | Extensions of Deductive Concept in Logic Programming and Some Applications | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2007 | Resolution Methods in Proving the Program Correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Extensions of Deductive Concept in Logic Programing and Some Applications | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Automated Reasoning Systems and Remote Databases in Distributed Information Systems | Kazi, Zoltan ; Hotomski, Petar ; Radulović, Biljana ; Ljubica, Kazi | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2006 | Automated proof by reverse mathematical induction | Ognjenović, Višnja ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2006 | Korišćenje udaljenih baza podataka u sistemima automatskog rezonovanja | Radulović, Biljana ; Hotomski, Petar ; Kazi, Zoltan | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2005 | Mathematical Induction in Deductive Systems of Logic Programming | Ognjenović, Višnja ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Implementation of Baselog Editor Module for 1st Order Predicate Calculus Formula Transformation | Kazi, (Eremić) Ljubica ; Kazi, Zoltan ; Hotomski, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Koncept distribuirane obrade upita uz pomoć Baselog sistema u sistemu učenja na daljinuNaziv skupa: XIX Naučno stručni skup InfoTech 2004 | Brtka, Vladimir ; Hotomski, Petar ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2003 | Elementi veštačke inteligencije u didaktičkom softveru za elektronsko učenje | Hotomski, Petar ; Berković, Ivana ; Brtka, Vladimir | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2003 | The Concept of Logic Programming Language Based on the Resolution Theorem Prover and its Appliance to Intelligent Tutoring Systems | Berković, Ivana ; Hotomski, Petar ; Brtka, Vladimir | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2003 | Definisanje i izrada dela sadržaja za sistem UND - Multimedijalni obrazovni računarski softver za osmi razred o.š. iz matematike za oblasti: geometrija, poliedri | Hotomski, Petar ; Berković, Ivana ; Brtka, Vladimir ; Grujić, Ivana | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |
| 2002 | Program testing based on programming logic rules | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2002 | Symbolical execution of Pascal programs in teheorem prover of Baselog system | Hotomski, Petar ; Berković, Ivana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | Sistem ENGLDEDUC ver.8.4 . | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana ; Radišić, Duško; Hotomski, M.; Soćanin, S.; Divjak, N.; Nikolić, V.; Prohaska D. | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |
| 2001 | Sistem ENGLDEDUC ver.8.4 na engleskom jeziku, razvijena u periodu 1999-2001. . cija DEDUC-a na Internetu | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana ; Radišić, Duško; Hotomski, M.; Soćanin, S. | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |
| 2001 | Inteligentni tutorski sistem iTutor Korisnik: Tehnički fakultet "Mihajlo Pupin", Zrenjanin Rađeno za: Tehnički fakultet "Mihajlo Pupin", Zrenjanin, u sklopu magistarskog rada | Brtka, Vladimir ; Berković, Ivana ; Hotomski, Petar | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |
| 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. |