Vol-409⫷ Vol-410 ⫸Vol-411
urn:nbn:de:0074-410-0


Vol-410/paper-1⫸Vol-410/paper-2

Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+