Истраживачи

Резултати 21-23 од 23
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia  ; Žunić, Dragiša  ; Ivetić, Jelena  ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.
2008Poslovna matematikaLikavec, Silvia  ; Žunić, Dragiša  ; Carić, Biljana  Уџбеник
Мп категорија ће бити приказана накнадно.
2007Computing with sequents and diagrams in classical logic - calculi *X, dX and ©XZunic, Dragisa  Остало
Мп категорија ће бити приказана накнадно.