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 9 to 22 of 22 < previous 
Author(s)TitleIssue DateAppears inRank
Kapetanović, Miodrag Metod semantičkih tabloa1996doctoral thesis: Matematički fakultet, Univerzitet u BeograduM70
Kapetanović, Miodrag ; Krapež, Aleksandar More on trees and finite satisfiability: The taming of terms1-Jan-1987Notre Dame Journal of Formal Logic; 28(3); 392-394
Kapetanović, Miodrag O nekim polivalentnim skaznim računima1973master thesis: Matematički fakultet, Univerzitet u BeograduM71
Kapetanović, Miodrag On A Class Of Sentential Functions1977Publications de l'Institut Mathématique; 22(36); 127-129M24
Kapetanović, Miodrag On A Many-Valued Sentential Calculus1980Publications de l'Institut Mathématique; 27(41); 103-106M24
Kapetanović, Miodrag On theories with the general disjunction property1-Aug-2007Algebra Universalis; 57(1); 127-129M22
Kapetanović, Miodrag On two Classical Results in the First Order Logic2004Publications de l'Institut Mathématique; 21-24M24
Kapetanović, Miodrag Primene teorije modela u algebri2007Dani logike, Novi Sad, 2007M64
Kapetanović, Miodrag ; Krapež, Aleksandar A Proof Procedure for the First Order Logic1989Publications de l'Institut Mathématique; 45(59); 3-5M24
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