000 00560nam a2200193Ia 4500
001 20398
008 180118s9999||||xx |||||||||||||| ||eng||
020 _a3540423974
040 _aTULIB
_cTULIB
041 _aeng
082 _a006.3 LEC
100 _aKusters,Ralf
245 0 _aNon standard inferences in description logics /
_cKusters,Ralf.
260 _aBerlin:
_bSpringer,
_c2001.
300 _ax,245p;23cm
490 _aLNCS 2100
504 _aIncludes bibliographical references.
942 _cBK
999 _c14120
_d14120