Vol-1506⫷ Vol-1507 ⫸Vol-1508
urn:nbn:de:0074-1507-0


Vol-1507/foreword⫷Vol-1507/dx15paper1⫸Vol-1507/dx15paper2

A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis