Istraživači

Rezultati 21-23 od 23
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia  ; Žunić, Dragiša  ; Ivetić, Jelena  ; Lescanne, PierreKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2008Poslovna matematikaLikavec, Silvia  ; Žunić, Dragiša  ; Carić, Biljana  Udžbenik
Mp kategorija će biti prikazana naknadno.
2007Computing with sequents and diagrams in classical logic - calculi *X, dX and ©XZunic, Dragisa  Ostalo
Mp kategorija će biti prikazana naknadno.