LEADER 01350nam0 22003133i 450 
001 VAN00250649
005 20250311040256.279
010   $a978-05-216-9542-8
100   $a20220926d2017       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aˆAn ‰introduction to description logic$fFranz Baader ... [et al.]
210   $aNew York$cCambridge university$d2017
215   $avii, 255 p.$d23 cm
500  1$3VAN00250651$aˆAn ‰introduction to description logic$93008578
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a68T27$xLogic in artificial intelligence [MSC 2020]$3VANC033812$2MF
606   $a68T30$xKnowledge representation [MSC 2020]$3VANC023273$2MF
620   $aUS$dNew York$3VANL000011
702  1$aBaader$bFranz$3VANV049296
712   $aCambridge University <editore>$3VANV107986$4650
801   $aIT$bSOL$c20250314$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/ID 250649.pdf$zID 250649.pdf
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00250649
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   0205        $e08DMF652       I       20220926            
996   $aIntroduction to description logic$93008578
997   $aUNICAMPANIA