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

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

Приказ резултата 1 до 20 од 46 следеће >

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2021	A Cut-Elimination Proof in Positive Relevant Logic with Necessity	Ilić, Mirjana	Научни чланак	21aM21a - Водећи међународни часопис категорије M21a
2014	A cut-free sequent calculus for relevant logic RW	Ilić, Mirjana ; Boričić, Branislav	Научни чланак	21a+M21a+ - Водећи међународни часопис категорије M21a+
2017	A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic	Ilić, Mirjana	Научни чланак	23M23 - Међународни часопис категорије M23
2017	A normalizing system of natural deduction for relevant logic	Ilić, Mirjana M.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2021	A note on an alternative Gentzenization of RW◦ +	Ilić, Mirjana	Научни чланак	23M23 - Међународни часопис категорије M23
2021	A note on the system GRW with the intensional contraction rule	Ilić, Mirjana ; Boričić, Branislav	Научни чланак	21aM21a - Водећи међународни часопис категорије M21a
2018	A sequent calculus for positive relevant logic with necessity	Ilić, Mirjana M.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	An alternative Gentzenisation of RW+∘	Ilić, Mirjana	Научни чланак	23M23 - Међународни часопис категорије M23
2016	An alternative natural deduction for the intuitionistic propositional logic	Isaković-Ilić, Mirjana	Научни чланак	23M23 - Међународни часопис категорије M23
2014	An Alternative Normalization of the Implicative Fragment of Classical Logic	Boričić, Branislav ; Ilić, Mirjana	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2014	An intuitionistic interpretation of classical implication	Boričić, Branislav ; Ilić, Mirjana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne škole	Isaković-Ilić, Mirjana	Научни чланак	Мп категорија ће бити приказана накнадно.
2008	Cut elimination and decidability for classical lambek logic	Ilić, Mirjana	Научни чланак	22M22 - Међународни часопис категорије M22
1996	Dopuna sistema KE	Ilić, Mirjana ; Bosiočić, Nebojša	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Is t really needed in formulating sequent calculi for elevant logics?	Isaković-Ilić, Mirjana ; Boričić, Branislav	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	Matematika	Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana	Уџбеник	Мп категорија ће бити приказана накнадно.
2014	Matematika	Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana	Уџбеник	Мп категорија ће бити приказана накнадно.
2010	Matematika	Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana	Уџбеник	Мп категорија ће бити приказана накнадно.
2016	Matematika	Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana	Уџбеник	Мп категорија ће бити приказана накнадно.
2011	Matematika	Boričić, Branislav; Ivović, Miodrag; Ilić, Mirjana	Уџбеник	Мп категорија ће бити приказана накнадно.

Приказ резултата 1 до 20 од 46 следеће >