Vol-1182⫷ Vol-1183 ⫸Vol-1184
urn:nbn:de:0074-1183-0


Vol-1183/gedm_paper05⫷Vol-1183/gedm_paper06⫸Vol-1183/gedm_paper07
Karel VaculíkLeona NezvalováLubos Popelínský

Graph Mining and Outlier Detection Meet Logic Proof Tutoring