Istraživači

Rezultati 1-20 od 46
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2025Matematika (26. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2025Zbirka zadataka iz matematike (26. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2023Zbirka zadataka iz matematike (25. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2023Matematika (25. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2022Relevant reasoningIlić, Mirjana  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2021A Cut-Elimination Proof in Positive Relevant Logic with NecessityIlić, Mirjana  Naučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
2021Zbirka zadataka iz matematike (24. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2021Matematika (24. izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2021A note on the system GRW with the intensional contraction ruleIlić, Mirjana  ; Boričić, Branislav  Naučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
2021A note on an alternative Gentzenization of RW◦ +Ilić, Mirjana  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2020Matematika (23. izmenjeno i dopunjeno izd.)Boričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2019Zbirka zadataka iz matematike (22. izd.)Ivović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2019On sequent calculi proofs in relevant logicsIlić, Mirjana M.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2018A sequent calculus for positive relevant logic with necessityIlić, Mirjana M.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2018MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Udžbenik
Mp kategorija će biti prikazana naknadno.
2017Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2017A normalizing system of natural deduction for relevant logicIlić, Mirjana M.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2017A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logicIlić, Mirjana  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2016Natural deduction for RW+oIsaković-Ilić, Mirjana  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2016An alternative Gentzenisation of RW+∘Ilić, Mirjana  Naučni članak
23M23 - Međunarodni časopis kategorije M23