LEADER 01332nam a2200313 i 4500
001 991000146489707536
008 071022s2007    enka     bf   001 0 eng d
020   $a9780521876254
035   $ab13819471-39ule_inst
040   $aDip.to Ingegneria dell'Innovazione$beng
082 0 $a006.332$222
245 04$aThe description logic handbook :$btheory, implementation, and applications /$cedited by Franz Baader ... [et al.]
250   $a2nd ed.
260   $aCambridge ;$aNew York :$bCambridge University Press,$c2007
300   $axix, 601 p. :$bill. ;$c26 cm
504   $aIncludes bibliographical references (p. 537-591) and index
650  4$aDescription logics$vHandbooks, manuals, etc.
700 1 $aBaader, Franz
700 1 $aCalvanese, Diego
700 1 $aMcGuinness, Deborah L.
700 1 $aNardi, Daniele
700 1 $aPatel-Schneider, Peter F.
856 41$zTable of contents only$uhttp://catdir.loc.gov/catdir/enhancements/fy0808/2008270159-t.html
907   $a.b13819471$b28-01-14$c27-03-09
912   $a991000146489707536
945   $aLE026 006.332 BAA 01.01 2007$g1$i2026000044996$lle026$nProf. Tarricone / Biblioteca$op$pE114.73$q-$rl$s-  $t4$u7$v1$w7$x0$y.i14946543$z27-03-09
996   $aDescription logic handbook$9376942
997   $aUNISALENTO
998   $ale026$b22-10-07$cm$da  $e-$feng$genk$h4$i0