Истраживачи
Ilić, Mirjana
Тип
Година
Мп-кат.
- 20 остало
- 11 M30/M60
- 5 M20/M50
- 4 M23 - Међународни часопис категорије M23
- 2 M21a - Водећи међународни часопис категорије M21a
- 1 M21 - Водећи међународни часопис категорије M21
- 1 M21a+ - Водећи међународни часопис категорије M21a+
- 1 M22 - Међународни часопис категорије M22
- 1 M70 - Одбрањена докторска дисертација
Година - распон
Резултати 1-20 од 46
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2025 | Matematika | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2025 | Zbirka zadataka iz matematike | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2023 | Zbirka zadataka iz matematike (25. izd.)![]() | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2023 | Matematika (25. izd.)![]() | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2022 | Relevant reasoning![]() | Ilić, Mirjana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | A note on an alternative Gentzenization of RW◦ +![]() | Ilić, Mirjana | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2021 | Zbirka zadataka iz matematike (24. izd.)![]() | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2021 | Matematika (24. izd.)![]() | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2021 | A note on the system GRW with the intensional contraction rule![]() | Ilić, Mirjana | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |
| 2021 | A Cut-Elimination Proof in Positive Relevant Logic with Necessity![]() | Ilić, Mirjana | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |
| 2020 | Matematika (23. izmenjeno i dopunjeno izd.)![]() | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | Zbirka zadataka iz matematike (22. izd.)![]() | Ivović, Miodrag; Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | On sequent calculi proofs in relevant logics![]() | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A sequent calculus for positive relevant logic with necessity | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Matematika | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2017 | A normalizing system of natural deduction for relevant logic | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2017 | A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic | Ilić, Mirjana | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2016 | Natural deduction for RW+o | Isaković-Ilić, Mirjana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | An alternative Gentzenisation of RW+∘ | Ilić, Mirjana | Научни чланак | 23M23 - Међународни часопис категорије M23 |
