Browsing by Author Hotomski P.
Showing results 4 to 5 of 5
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 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 |