еНаука - преглед
Преглед према Аутор Hotomski, Petar
Приказ резултата 1 до 20 од 39
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 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 |
| 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. |
| 2006 | Automated proof by reverse mathematical induction | Ognjenović, Višnja ; 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 | Conference Paper | 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 |
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima | Brtka, Vladimir | Doctoral theses | 70M70 |
| 1990 | Bibliografija iz oblasti informatizacije obrazovanja (1987/88.) | Berković, Ivana ; Hotomski, Petar | Conference Paper | 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 |
| 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 |
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu | Berković, Ivana ; Hotomski, Petar | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 1991 | Implementacija nekih poboljšanja rezolucijskog dokazivača teorema | Berković, Ivana ; Hotomski, Petar ; Radulović, (Ćurić) Biljana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1994 | Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama | Hotomski, Petar ; Berković, Ivana | 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 |
| 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 |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |