LEADER 00991cam0-22003371i-450-
001 990001504470403321
005 20100531112539.0
010   $a0-521-78176-0
035   $a000150447
035   $aFED01000150447
035   $a(Aleph)000150447FED01
035   $a000150447
100   $a20030508d2003----km-y0itay50------ba
101 0 $aeng
102   $aGB
105   $aa---a---001yy
200 1 $a<<The >>description logic handbook$etheory, implementation, and applications$fedited by Franz Baader ... [et al.]
210   $aCambridge, UK ; New York$cCabridge University Press$d2003
215   $axvii, 555 p.$cill.$d25 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a006.332$v21$zita
702  1$aBaader,$bFranz$f<1959- >
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990001504470403321
952   $a7-309$b7897$fFI1
952   $a7-309.001$b7898$fFI1
959   $aFI1
996   $aDescription logic handbook$9376942
997   $aUNINA