Browsing by Author Kapetanović, Miodrag
Showing results 19 to 22 of 22
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Kapetanović, Miodrag | A Tableaux System in Modal Logic | 1981 | Publications de l'Institut Mathématique; 30(44); 65-67 | M24 |
Kapetanović, Miodrag ; Isaković-Ilić, M. | A tableu based prover for BCK logic | 2001 | Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30 | M33 |
Kapetanović, Miodrag | Tabloi za substrukturne logike | 2003 | Skup posvećenom A. Kronu, Beograd 2003 | M64 |
Kapetanović, Miodrag | Work of Slaviša Prešić in Artificial Intelligence | 2001 | A Tribute to S.B. Prešić; 15-19 | M33 |