Search




Research outputs

Shape Descriptors for Image Analysis   [2012]

Žunić, Joviša  

270 Minutes on Categorial Proof Theory   [2015]

Petrić, Zoran  

First-order probabilistic logics and their applications   [2015]

Ikodinović, Nebojša  ; Ognjanović, Zoran  ; Rašković, Miodrag  ; Zoran Marković

Structural rules and resource control in logic and computation   [2015]

Gilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre Lescanne

Filters

By type