Истраживачи
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 |