Истраживачи
Žunić, Dragiša
Тип
Година
Резултати 21-23 од 23
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | Classical logic proofs' essence and diagrammatic computation | Žunić, Dragiša   ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | Poslovna matematika | Likavec, Silvia ; Žunić, Dragiša ; Carić, Biljana | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2007 | Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X | Zunic, Dragisa | Остало | Мп категорија ће бити приказана накнадно. |