Истраживачи

Филтрирано по:
Година:  [2010 TO 2019]

Резултати 1-20 од 31
ГодинаНасловАутор(и)Тип резултатаМп-кат.
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
2016Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2016An alternative natural deduction for the intuitionistic propositional logicIsaković-Ilić, Mirjana  Научни чланак
23M23 - Међународни часопис категорије M23
2016MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Уџбеник
Мп категорија ће бити приказана накнадно.
2016O prvom izvodu funkcije kroz primereIsaković-Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2015Sequent calculi for contraction--less relevant logicsIsaković-Ilić, Mirjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2015Nastava matematike na Ekonomskom fakultetu u Beogradu od osnivanja do danasBoričić, Branislav  ; Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2015The proof—theoretical analysis of contraction—less relevant logicIsaković-Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2014Is t really needed in formulating sequent calculi for elevant logics?Isaković-Ilić, Mirjana  ; Boričić, Branislav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014An intuitionistic interpretation of classical implicationBoričić, Branislav  ; Ilić, Mirjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014An Alternative Normalization of the Implicative Fragment of Classical LogicBoričić, Branislav  ; Ilić, Mirjana  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2014Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne školeIsaković-Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.