Browsing by Author Kapetanović, Miodrag


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 18 to 22 of 22 < previous 
Author(s)TitleIssue DateAppears inRank
Kapetanović, Miodrag ; Isaković-Ilić, M.Substructural propositional logics admitting cut elimination2006International Congress of Mathematicians, August 22-30 2006, Madrid, ŠpanijaM34
Kapetanović, Miodrag A Tableaux System in Modal Logic1981Publications de l'Institut Mathématique; 30(44); 65-67M24
Kapetanović, Miodrag ; Isaković-Ilić, M.A tableu based prover for BCK logic2001Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30M33
Kapetanović, Miodrag Tabloi za substrukturne logike2003Skup posvećenom A. Kronu, Beograd 2003M64
Kapetanović, Miodrag Work of Slaviša Prešić in Artificial Intelligence2001A Tribute to S.B. Prešić; 15-19M33