eNauka - pregled
Pregled prema Autor Isaković-Ilić, M.
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2001 | A tableu based prover for BCK logic | Kapetanović, Miodrag; Isaković-Ilić, M. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2006 | Substructural propositional logics admitting cut elimination | Kapetanović, Miodrag; Isaković-Ilić, M. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |