Претрага
Резултати
CDCL-Based Abstract State Transition System for Coherent Logic
[2012]
Nikolić, Mladen 
; Janičić, Predrag
Formalizing Frankl's conjecture: FC-families
[2012]
Marić, Filip ; Živković, Miodrag ; Vučković, Bojan
Filters
By type