Researchers
Ilić, Mirjana
Type
Date issued
Results 41-48 of 48
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2011 | Sequents of Sequent Systems for Relevant Logics | Isaković-Ilić, Mirjana   | Conference Paper | Mp. category will be shown later |
| 2011 | Matematika | Boričić, Branislav; Ivović, Miodrag; Ilić, Mirjana | Text book | Mp. category will be shown later |
| 2010 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav ; Ilić, Mirjana ; Azdejković, Dragan ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2010 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Text book | Mp. category will be shown later |
| 2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Doctoral theses | 70M70 |
| 2008 | Cut elimination and decidability for classical lambek logic | Ilić, Mirjana | Article | 22M22 |
| 2007 | Theorem Provers for Substructural Logics | Ilić, Mirjana | Article | Mp. category will be shown later |
| 1996 | Dopuna sistema KE | Ilić, Mirjana ; Bosiočić, Nebojša | Conference Paper | Mp. category will be shown later |