eNauka - pregled
Pregled prema Autor Hotomski, Petar
Prikaz rezultata 1 do 20 od 39
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 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. |
| 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 | Konferencijski rad | 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. |
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima | Brtka, Vladimir | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1990 | Bibliografija iz oblasti informatizacije obrazovanja (1987/88.) | Berković, Ivana ; Hotomski, Petar | Konferencijski rad | 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. |
| 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. |
| 1998 | Deklarativna i procedurna semantika opisnog jezika baziranog na ADT sistemu | Berković, Ivana ; Hotomski, Petar | 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 |
| 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. |
| 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. |
| 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. |
| 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. |
| 1991 | Implementacija nekih poboljšanja rezolucijskog dokazivača teorema | Berković, Ivana ; Hotomski, Petar ; 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. |
| 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. |
| 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. |
| 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. |