LEADER 01457nam0 2200313 i 450 
001 SUN0062411
005 20160126122613.648
010   $a978-05-218-7625-4
100   $a20071206d2007       |0engc50      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]$2MF$3SUNC019670
606   $a68T30$xKnowledge representation [MSC 2020]$2MF$3SUNC023273
606   $a68T35$xTheory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020]$2MF$3SUNC023274
606   $a03B70$xLogic in computer science [MSC 2020]$2MF$3SUNC024541
620   $dCambridge$3SUNL000024
702  1$aBaader$b, Franz$3SUNV049296
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20201026$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Baader, Calvanese et al. - The description logic handbook. 2. ed..pdf$zContents
912   $aSUN0062411
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0205        $e08   7485      I       20080314            
996   $aDescription logic handbook$9376942
997   $aUNICAMPANIA