Истраживачи

Филтрирано по:
Година:  [2010 TO 2019]

Резултати 21-27 од 27
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2013A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent DerivationsLutovac, Tatjana  ; J. HarlandКонференцијски рад
Мп категорија ће бити приказана накнадно.
2012Razvoj dijagnostičkog sistema za putne prelaze sa računarskim upravljačkim sistemimaLutovac, Tatjana  ; D. LutovacНаучни чланак
52M52 - Национални часопис категорије M52
2012An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculusLutovac, Tatjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2011Some Contributions to Compact Representation of Sequent ProofsT. Lutovac  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2011Contibutions to compact Representation of Sequent ProofsLutovac, Tatjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2010Збирка задатака из алгебре - Део 1Васић, Петар; Иричанин, Братислав  ; Јовановић, Мирко С.; Малешевић, Бранко  ; Лутовац, Татјана  ; Михаиловић, Бојана  ; Радосављевић, Зоран С.; Симић, Слободан; Цветковић, Драгош Уџбеник
Мп категорија ће бити приказана накнадно.
2010Збирка задатака из алгебре - Део 2Васић, Петар; Иричанин, Братислав  ; Јовановић, Мирко С.; Лутовац, Татјана  ; Михаиловић, Бојана  ; Радосављевић, Зоран С.; Симић, Слободан; Цветковић, Драгош Уџбеник
Мп категорија ће бити приказана накнадно.