Vol-1948⫷ Vol-1949 ⫸Vol-1950
urn:nbn:de:0074-1949-0


Vol-1949/CILCpaper02⫷Vol-1949/CILCpaper03⫸Vol-1949/CILCpaper04

A C++ Reasoner for the Description Logic DL-4X(D)