еНаука - преглед
Преглед према Аутор Borisavljević, Mirjana
Приказ резултата 1 до 20 од 29
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2006 | A connection between cut elimination and normalization![]() | Borisavljević, Mirjana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 1995 | A connection between cut elimination and normalization![]() | Borisavljevic, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | A cut-elimination proof in intuitionistic predicate logic![]() | Borisavljevic, Mirjana | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2018 | AN ANALYSIS OF THE RULES OF GENTZENS NJ AND LJ![]() | Borisavljević, Mirjana | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2010 | Connections between cuts and maximum segments![]() | Borisavljević, Mirjana | Научни чланак | 51M51 - Водећи национални часопис категорије M51 |
| 2010 | Doctoral dissertations in logic from Virtual library of Faculty of Mathematics in Belgrade![]() | Borisavljević, Mirjana | Научни чланак | 53M53 - Национални часопис категорије M53 |
| 2004 | Extended natural deduction images of conversions from the system of sequents![]() | Borisavljević, Mirjana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2013 | History of Mathematical Logic in Serbia![]() | Borisavljević, Mirjana | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2002 | Kauffman monoids![]() | Borisavljević, Mirjana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2010 | Maximum cuts in extended natural deduction![]() | Borisavljević, Mirjana | Научни чланак | 24M24 - Водећи национални часопис категорије M24 |
| 2022 | Maximum Segments as Natural Deduction Images of Some Cuts![]() | Borisavljevic, Mirjana P | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2003 | Minimum segments in sequent derivations![]() | Borisavljevic, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2008 | NORMAL DERIVATIONS AND SEQUENT DERIVATIONS![]() | Borisavljevic, Mirjana P | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Normal Form Theorem for Systems of Sequents![]() | Borisavljević, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2000 | On permuting cut with contraction![]() | Borisavljević, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2024 | Припремна настава из математике за упис у прву годину - збирка задатака са решењима![]() | Милорадовић, Слободан; Борисављевић, Мирјана | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2017 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima![]() | Miloradović, Slobodan; Borisavljević, Mirjana | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2021 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima![]() | Miloradović, Slobodan | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima![]() | Miloradović, Slobodan | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2014 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima![]() | Miloradović, Slobodan | Уџбеник | Мп категорија ће бити приказана накнадно. |
