Истраживачи
Žunić, Dragiša
Тип
Година
Резултати 21-23 од 23
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | Poslovna matematika![]() | Likavec, Silvia | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2007 | Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X![]() | Zunic, Dragisa | Остало | Мп категорија ће бити приказана накнадно. |
