Istraživači
Ilić, Mirjana
Tip
Godina
Mp-kat.
- 22 ostalo
- 11 M30/M60
- 5 M20/M50
- 4 M23 - Međunarodni časopis kategorije M23
- 2 M21a - Vodeći međunarodni časopis kategorije M21a
- 1 M21 - Vodeći međunarodni časopis kategorije M21
- 1 M21a+ - Vodeći međunarodni časopis kategorije M21a+
- 1 M22 - Međunarodni časopis kategorije M22
- 1 M70 - Odbranjena doktorska disertacija
Godina - raspon
Rezultati 21-40 od 48
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2016 | Matematika | Boričić, Branislav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2016 | An alternative natural deduction for the intuitionistic propositional logic | Isaković-Ilić, Mirjana | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2016 | An alternative Gentzenisation of RW+∘ | Ilić, Mirjana | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2016 | Natural deduction for RW+o | Isaković-Ilić, Mirjana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | O prvom izvodu funkcije kroz primere | Isaković-Ilić, Mirjana | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2015 | The proof—theoretical analysis of contraction—less relevant logic | Isaković-Ilić, Mirjana | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2015 | Nastava matematike na Ekonomskom fakultetu u Beogradu od osnivanja do danas | Boričić, Branislav | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2015 | Sequent calculi for contraction--less relevant logics | Isaković-Ilić, Mirjana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Is t really needed in formulating sequent calculi for elevant logics? | Isaković-Ilić, Mirjana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2014 | Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne škole | Isaković-Ilić, Mirjana | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2014 | An intuitionistic interpretation of classical implication | Boričić, Branislav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | An Alternative Normalization of the Implicative Fragment of Classical Logic![]() | Boričić, Branislav | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2014 | A cut-free sequent calculus for relevant logic RW | Ilić, Mirjana | Naučni članak | 21a+M21a+ - Vodeći međunarodni časopis kategorije M21a+ |
| 2014 | Matematika | Boričić, Branislav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2013 | Problems in formulating the consecution calculus of contraction--less relevant logics | Isaković-Ilić, Mirjana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Matematika | Boričić, Branislav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2012 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2011 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
