Истраживачи
Lutovac, Tatjana
Резултати 21-27 од 27
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2013 | A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent Derivations | Lutovac, Tatjana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Razvoj dijagnostičkog sistema za putne prelaze sa računarskim upravljačkim sistemima | Lutovac, Tatjana | Научни чланак | 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 | Збирка задатака из алгебре - Део 1 | Васић, Петар; Иричанин, Братислав | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2010 | Збирка задатака из алгебре - Део 2 | Васић, Петар; Иричанин, Братислав | Уџбеник | Мп категорија ће бити приказана накнадно. |