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