Година
Мп-кат.
Година - распон
Резултати 1-20 од 36
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2010 | Problemi u vođenju košarkaške statistike | Markoski, Branko S.   ; Ivanković, Zdravko B. ; Nikolić, Milan ; Hotomski S. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Научни чланак | 24M24 - Водећи национални часопис категорије M24 |
| 2009 | Extensions of Deductive Concept in Logic Programming and Some Applications | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2007 | Resolution Methods in Proving the Program Correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Extensions of Deductive Concept in Logic Programing and Some Applications | Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | Automated Reasoning Systems and Remote Databases in Distributed Information Systems | Kazi, Zoltan ; Hotomski, Petar ; Radulović, Biljana ; Ljubica, Kazi | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2006 | Automated proof by reverse mathematical induction | Ognjenović, Višnja ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2006 | Korišćenje udaljenih baza podataka u sistemima automatskog rezonovanja | Radulović, Biljana ; Hotomski, Petar ; Kazi, Zoltan | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2005 | Mathematical Induction in Deductive Systems of Logic Programming | Ognjenović, Višnja ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Implementation of Baselog Editor Module for 1st Order Predicate Calculus Formula Transformation | Kazi, (Eremić) Ljubica ; Kazi, Zoltan ; Hotomski, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2003 | Elementi veštačke inteligencije u didaktičkom softveru za elektronsko učenje | Hotomski, Petar ; Berković, Ivana ; Brtka, Vladimir | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2002 | Program testing based on programming logic rules | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2002 | Symbolical execution of Pascal programs in teheorem prover of Baselog system | Hotomski, Petar ; Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 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. | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 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. | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 1999 | DEDUC-programski sistem za generisanje rasporeda časova | Hotomski, Petar ; Berković, Ivana ; Prohaska, Dragan; Radulović, (Ćurić) Biljana ; Divjak, Nedeljko ; Radišić, Duško | Монографија | Мп категорија ће бити приказана накнадно. |