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 2 to 5 of 5 < previous 
Issue DateTitleAuthor(s)
1-Jan-2003Comparison of H-Logical Norm with some t-NormsNikolic B.; Hotomski P.
1-Dec-2010Dijkstra's interpretation of the approach to solving a problem of program correctnessMarkoski, Branko ; Hotomski P.; MALBAšKI D.; Obradović, Danilo
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