еНаука - преглед

Преглед према Аутор Borisavljević, Mirjana

Приказ резултата 1 до 20 од 29  следеће >
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2006A connection between cut elimination and normalizationBorisavljević, Mirjana  Научни чланак
22M22 - Међународни часопис категорије M22
1995A connection between cut elimination and normalizationBorisavljevic, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
1999A cut-elimination proof in intuitionistic predicate logicBorisavljevic, Mirjana  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2018AN ANALYSIS OF THE RULES OF GENTZENS NJ AND LJBorisavljević, Mirjana  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2010Connections between cuts and maximum segmentsBorisavljević, Mirjana  Научни чланак
51M51 - Водећи национални часопис категорије M51
2010Doctoral dissertations in logic from Virtual library of Faculty of Mathematics in BelgradeBorisavljević, Mirjana  Научни чланак
53M53 - Национални часопис категорије M53
2004Extended natural deduction images of conversions from the system of sequentsBorisavljević, Mirjana  Научни чланак
22M22 - Међународни часопис категорије M22
2013History of Mathematical Logic in SerbiaBorisavljević, Mirjana  ; Đorđe Vukomanović; Gilezan, Silvia  ; Janičić, Predrag Đ.  ; Krapež, Aleksandar  ; Kurilić, Miloš S.  ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran  ; Pantović, Jovanka  ;
Petrić, Zoran  ; Miomir Stanković; Stanković, Radomir  ; Ivan Stojmenović;
Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2002Kauffman monoidsBorisavljević, Mirjana  ; Došen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2010Maximum cuts in extended natural deductionBorisavljević, Mirjana  Научни чланак
24M24 - Водећи национални часопис категорије M24
2022Maximum Segments as Natural Deduction Images of Some CutsBorisavljevic, Mirjana P  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2003Minimum segments in sequent derivationsBorisavljevic, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2008NORMAL DERIVATIONS AND SEQUENT DERIVATIONSBorisavljevic, Mirjana P  Научни чланак
Мп категорија ће бити приказана накнадно.
2007Normal Form Theorem for Systems of SequentsBorisavljević, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2000On permuting cut with contractionBorisavljević, Mirjana  ; Došen, Kosta  ; Petrić, ZoranНаучни чланак
Мп категорија ће бити приказана накнадно.
2024Припремна настава из математике за упис у прву годину - збирка задатака са решењимаМилорадовић, Слободан; Борисављевић, Мирјана  ; Ћирић, Нинослав; Левајковић, Тијана; Кукић, Катарина  ; Илић, Дејан  Уџбеник
Мп категорија ће бити приказана накнадно.
2017Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan; Borisavljević, Mirjana  ; Ćirić, Ninoslav; Levajković, Tijana; Kukić, Katarina  ; Ilić, DejanУџбеник
Мп категорија ће бити приказана накнадно.
2021Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  Уџбеник
Мп категорија ће бити приказана накнадно.
2019Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  Уџбеник
Мп категорија ће бити приказана накнадно.
2014Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Levajković, Tijana ; Ilić, Dejan  ; Kukić, Katarina  Уџбеник
Мп категорија ће бити приказана накнадно.
Приказ резултата 1 до 20 од 29  следеће >