Browsing by Author Kapetanović, Miodrag
Showing results 18 to 22 of 22
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Kapetanović, Miodrag ; Isaković-Ilić, M. | Substructural propositional logics admitting cut elimination | 2006 | International Congress of Mathematicians, August 22-30 2006, Madrid, Španija | M34 |
| 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 |