Search




Research outputs

A Survey of Interactive Theorem Proving   [2015]

Marić, Filip  

First-order probabilistic logics and their applications   [2015]

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

Logic in Computer Science II   [2015]

Gilezan, Silvia  

270 Minutes on Categorial Proof Theory   [2015]

Petrić, Zoran  

From clones to hyperclones   [2015]

Pantović, Jovanka  ; Čolić Oravec, Jelena A.  ; Hajime, Machida; Vojvodić, Gradimir

Filteri

Po tipu