Browsing by Author Hotomski P.


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 4 to 5 of 5 < previous 
Issue DateTitleAuthor(s)
1-Dec-2005Mathematical induction in deductive systems of logic programmingJovanović, Veljko; Hotomski P.
1-Jan-2007Resolution methods in proving the program correctnessMarkoski, Branko ; Hotomski P.; Malbaški D.; Obradović, D