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