Browsing by Author Hotomski P.
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
---|---|---|
1-Jan-2007 | Automated reasoning systems and remote databases in distributed information systems | Kazi, Z. ; Hotomski P.; Radulović, B. ; Kazi, L. |
1-Jan-2003 | Comparison of H-Logical Norm with some t-Norms | Nikolic B.; Hotomski P. |
1-Dec-2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness | Markoski, Branko ; Hotomski P.; MALBAšKI D.; Obradović, Danilo |
1-Dec-2005 | Mathematical induction in deductive systems of logic programming | Jovanović, Veljko; Hotomski P. |
1-Jan-2007 | Resolution methods in proving the program correctness | Markoski, Branko ; Hotomski P.; Malbaški D.; Obradović, D |