Vol-4229⫷ Vol-4230 ⫸Vol-4231
urn:nbn:de:0074-4230-0


Vol-4230/preface⫷Vol-4230/invited-abstract1⫸Vol-4230/invited-abstract2
Jean Christoph Jung

Computing Interpolants in Description Logics