Researchers
Hotomski, Petar
Type
Date issued
Results 1-20 of 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. | Conference Paper | Mp. category will be shown later |
| 2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Article | 24M24 |
| 2009 | Extensions of Deductive Concept in Logic Programming and Some Applications | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Book parts | Mp. category will be shown later |
| 2007 | Resolution Methods in Proving the Program Correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Article | Mp. category will be shown later |
| 2007 | Extensions of Deductive Concept in Logic Programing and Some Applications | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 2007 | Automated Reasoning Systems and Remote Databases in Distributed Information Systems | Kazi, Zoltan ; Hotomski, Petar ; Radulović, Biljana ; Ljubica, Kazi | Conference Paper | Mp. category will be shown later |
| 2006 | Automated proof by reverse mathematical induction | Ognjenović, Višnja ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 2006 | Korišćenje udaljenih baza podataka u sistemima automatskog rezonovanja | Radulović, Biljana ; Hotomski, Petar ; Kazi, Zoltan | Article | Mp. category will be shown later |
| 2005 | Mathematical Induction in Deductive Systems of Logic Programming | Ognjenović, Višnja ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 2004 | Implementation of Baselog Editor Module for 1st Order Predicate Calculus Formula Transformation | Kazi, (Eremić) Ljubica ; Kazi, Zoltan ; Hotomski, Petar | Conference Paper | Mp. category will be shown later |
| 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 | Conference Paper | Mp. category will be shown later |
| 2003 | Elementi veštačke inteligencije u didaktičkom softveru za elektronsko učenje | Hotomski, Petar ; Berković, Ivana ; Brtka, Vladimir | Article | Mp. category will be shown later |
| 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 | Conference Paper | Mp. category will be shown later |
| 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 | Technical reports | Mp. category will be shown later |
| 2002 | Program testing based on programming logic rules | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2002 | Symbolical execution of Pascal programs in teheorem prover of Baselog system | Hotomski, Petar ; Berković, Ivana | Conference Paper | Mp. category will be shown later |
| 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. | Technical reports | Mp. category will be shown later |
| 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. | Technical reports | Mp. category will be shown later |
| 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 | Technical reports | Mp. category will be shown later |
| 1999 | DEDUC-programski sistem za generisanje rasporeda časova | Hotomski, Petar ; Berković, Ivana ; Prohaska, Dragan; Radulović, (Ćurić) Biljana ; Divjak, Nedeljko ; Radišić, Duško | Monograph | Mp. category will be shown later |