Истраживачи

Резултати 1-20 од 46
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2025MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2025Zbirka zadataka iz matematikeBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2023Zbirka zadataka iz matematike (25. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2023Matematika (25. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2022Relevant reasoningIlić, Mirjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021A note on an alternative Gentzenization of RW◦ +Ilić, Mirjana  Научни чланак
23M23 - Међународни часопис категорије M23
2021Zbirka zadataka iz matematike (24. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2021Matematika (24. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2021A note on the system GRW with the intensional contraction ruleIlić, Mirjana  ; Boričić, Branislav  Научни чланак
21aM21a - Водећи међународни часопис категорије M21a
2021A Cut-Elimination Proof in Positive Relevant Logic with NecessityIlić, Mirjana  Научни чланак
21aM21a - Водећи међународни часопис категорије M21a
2020Matematika (23. izmenjeno i dopunjeno izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2019Zbirka zadataka iz matematike (22. izd.)Ivović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2019On sequent calculi proofs in relevant logicsIlić, Mirjana M.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018A sequent calculus for positive relevant logic with necessityIlić, Mirjana M.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Уџбеник
Мп категорија ће бити приказана накнадно.
2017A normalizing system of natural deduction for relevant logicIlić, Mirjana M.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2017A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logicIlić, Mirjana  Научни чланак
23M23 - Међународни часопис категорије M23
2016Natural deduction for RW+oIsaković-Ilić, Mirjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016An alternative Gentzenisation of RW+∘Ilić, Mirjana  Научни чланак
23M23 - Међународни часопис категорије M23