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