LEADER 01538nam0 2200325 i 450 
001 VAN0062411
005 20240102104629.320
010   $a978-05-218-7625-4
100   $a20071206d2007       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aˆThe ‰description logic handbook$etheory, implementation, and applications$fedited by Franz Baader ... [et al.]
205   $a2. ed
210   $aCambridge$cCambridge university$d2007
215   $aXIX, 601 p.$d26 cm
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a68T30$xKnowledge representation [MSC 2020]$3VANC023273$2MF
606   $a68T35$xTheory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020]$3VANC023274$2MF
606   $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF
620   $dCambridge$3VANL000024
702  1$aBaader$bFranz$3VANV049296
712   $aCambridge university <editore>$3VANV107986$4650
801   $aIT$bSOL$c20240105$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Baader, Calvanese et al. - The description logic handbook. 2. ed..pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0062411
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0205        $e08   7485      I       20080314            
996   $aDescription logic handbook$9376942
997   $aUNICAMPANIA