Lutovac, Tatjana

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 21-40 од 44 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2017	One method for proving some classes of analytical inequalities	BANjAC, BOJAN D. ; Lutovac, Tatjana A. ; Malešević, Branko J.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	O nekim nejednakostima koje se mogu svesti na dokazivanje miksovanih trigonometrijskih nejednakosti	BANjAC, BOJAN ; Lutovac, Tatjana ; Malešević, Branko	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2015	Jedan doprinos automatskom dokazivanju nekih klasa analitičkih nejednakosti	Lutovac, Tatjana ; Malešević, Branko	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Sistemi za generisanje predloga i preporuka	Lutovac, Tatjana ; G. Dimitrijević	Научни чланак	52M52 - Национални часопис категорије M52
2014	One method for proving a class of trigonometric inequalities	Lutovac, Tatjana ; Malešević, Branko ; M. Makragić; BANjAC, BOJAN ; M. Nenezić	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Detection and analysis of some redundancies in linear logic sequent proofs	Lutovac, Tatjana ; Harland, J.	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2013	A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules	Lutovac, Tatjana ; Harland, James	Научни чланак	22M22 - Међународни часопис категорије M22
2013	A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent Derivations	Lutovac, Tatjana ; J. Harland	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	Razvoj dijagnostičkog sistema za putne prelaze sa računarskim upravljačkim sistemima	Lutovac, Tatjana ; D. Lutovac	Научни чланак	52M52 - Национални часопис категорије M52
2012	An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus	Lutovac, Tatjana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Some Contributions to Compact Representation of Sequent Proofs	T. Lutovac	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Contibutions to compact Representation of Sequent Proofs	Lutovac, Tatjana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2010	Збирка задатака из алгебре - Део 2	Васић, Петар; Иричанин, Братислав ; Јовановић, Мирко С.; Лутовац, Татјана ; Михаиловић, Бојана ; Радосављевић, Зоран С.; Симић, Слободан; Цветковић, Драгош	Уџбеник	Мп категорија ће бити приказана накнадно.
2010	Збирка задатака из алгебре - Део 1	Васић, Петар; Иричанин, Братислав ; Јовановић, Мирко С.; Малешевић, Бранко ; Лутовац, Татјана ; Михаиловић, Бојана ; Радосављевић, Зоран С.; Симић, Слободан; Цветковић, Драгош	Уџбеник	Мп категорија ће бити приказана накнадно.
2006	Detecting loops during proof search in propositional affine logic	Lutovac, Tatjana ; Harland, J.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2006	Detecting Loops During Proof Search in Propositional Affine Logic	T. Lutovac ; J. Harland	Научни чланак	22M22 - Међународни часопис категорије M22
2006	Збирка задатака из алгебре (I део)	P. Vasić; B. Iričanin ; M. Jovanović; B. Malešević ; T. Madžarević ; B. Mihailović ; Z. Radosavljević; S. Simić; D. Cvetković	Уџбеник	Мп категорија ће бити приказана накнадно.
2006	Збирка задатака из алгебре, II део	Б. Иричанин ; Т. Лутовац ; М. Јовановић; B. Mihailović ; З. Радосављевић; С. Симић; Д. Цветковић	Монографија	Мп категорија ће бити приказана накнадно.
2005	A redundancy analysis of sequent proofs	Lutovac, Tatjana ; Harland, J.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2005	A Redundancy Analysis of Sequent Proofs	T. Lutovac ; J. Harland	Научни чланак	23M23 - Међународни часопис категорије M23