Претрага
Резултати
First-order probabilistic logics and their applications
[2015]
Ikodinović, Nebojša 
; Ognjanović, Zoran ; Rašković, Miodrag ; Zoran Marković
A Survey of Interactive Theorem Proving
[2015]
Marić, Filip
From clones to hyperclones
[2015]
Pantović, Jovanka ; Čolić Oravec, Jelena A. ; Hajime, Machida; Vojvodić, Gradimir
270 Minutes on Categorial Proof Theory [2015]
Petrić, Zoran
Logic in Computer Science II
[2015]
Gilezan, Silvia
Филтери
По типу