Istraživači
Žunić, Dragiša
Tip
Godina
Rezultati 21-23 od 23
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules![]() | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | Poslovna matematika![]() | Likavec, Silvia | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2007 | Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X![]() | Zunic, Dragisa | Ostalo | Mp kategorija će biti prikazana naknadno. |
