LEADER 02387nam 22006254a 450 001 9910450526303321 005 20200520144314.0 010 $a1-107-12924-9 010 $a1-280-41799-4 010 $a9786610417995 010 $a1-139-13014-5 010 $a0-511-17880-8 010 $a1-139-14649-1 010 $a0-511-06694-5 010 $a0-511-06063-7 010 $a0-511-06907-3 035 $a(CKB)1000000000014469 035 $a(EBL)217855 035 $a(OCoLC)228111011 035 $a(SSID)ssj0000137051 035 $a(PQKBManifestationID)11158701 035 $a(PQKBTitleCode)TC0000137051 035 $a(PQKBWorkID)10087529 035 $a(PQKB)11292069 035 $a(MiAaPQ)EBC217855 035 $a(Au-PeEL)EBL217855 035 $a(CaPaEBR)ebr10069975 035 $a(CaONFJC)MIL41799 035 $a(EXLCZ)991000000000014469 100 $a20020311d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe description logic handbook$b[electronic resource] $etheory, implementation, and applications /$fedited by Franz Baader ... [et al.] 210 $aCambridge, UK ;$aNew York $cCambridge University Press$d2003 215 $a1 online resource (575 p.) 300 $aDescription based upon print version of record. 311 $a0-521-78176-0 320 $aIncludes bibliographical references (p. 496-545) and index. 327 $aCover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index 330 $aThe Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide. 606 $aDescription logics$vHandbooks, manuals, etc 608 $aElectronic books. 615 0$aDescription logics 676 $a006.3/32 701 $aBaader$b Franz$062009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910450526303321 996 $aThe description logic handbook$92143403 997 $aUNINA LEADER 01745nam a22003251i 4500 001 991002207869707536 005 20030625134503.0 008 030925s19uu be |||||||||||||||||lat 035 $ab1225695x-39ule_inst 035 $aARCHE-030456$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a270.0922 100 0 $aTheodulfus$c$0452693 245 10$aTheodulfi Aurelianensis Episcopi, Sancti Eigilis Abbatis Fuldensis, Dungali Reclusi, Ermoldi Nigelli ... Opera omnia ... :$bintermiscetur Bernowini Claromontani, Aldrici Senonensis ... : scripta quae supersunt universa ... /$caccurante J.-P. Migne 260 $aTurnholti :$bTypographi Brepols editores pontificii,$c[19..] 300 $a1360 col. ;$c28 cm 440 0$aPatrologiae cursus completus omnium SS. patrum doctorum scriptorumque ecclesiasticorum sive Latinorum sive Graecorum.$pPatrologiae latinae ;$v105 500 $aIn testa al front.: Traditio catholica, Saeculum IX, Anni 821-836 650 4$aChiesa$xStoria$xSec. 9.$xFonti 650 4$aCristianesimo$xStoria$xSec. 9.$xFonti 700 0 $aEigil :$cFuldensis 700 0 $aDungalus :$cHibernicus 700 0 $aErmoldus Nigellus 700 1 $aMigne, Jacques Paul$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0297408 907 $a.b1225695x$b02-04-14$c08-10-03 912 $a991002207869707536 945 $aLE002 P.L. 105$g1$i2002000496782$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12646283$z08-10-03 996 $aTheodulfi Aurelianensis Episcopi, Sancti Eigilis Abbatis Fuldensis, Dungali Reclusi, Ermoldi Nigelli ... Opera omnia ...$93370710 997 $aUNISALENTO 998 $ale002$b08-10-03$cm$da $e-$flat$gbe $h0$i1