LEADER 01141nam2 22002773i 450 001 SUN0101069 005 20150309104641.501 010 $d0.00 100 $a20150302d1956 |0gerc50 ba 101 $ager 102 $aDE 105 $a||||E ||||| 200 1 $aˆ10: ‰Rin-Sok 205 $a16. völlig neubearbeitete Aufl 210 $aWiesbaden$cBrockhaus$d1956 215 $a771 p., [41] carte di tav.$cill.$d25 cm. - Biblioteca Lauria. 311 $aRin-Sok$9SUN0101060 461 0$1001SUN0101060$12001 $aˆDer ‰grosse Brockhaus$v10$1205 $a16. völlig neubearbeitete Aufl. in zwölf banden$1210 $aWiesbaden$cBrockhaus$1215 $a14 volumi$cill.$d25 cm. 620 $aDE$dWiesbaden$3SUNL000457 712 $aBrockhaus$3SUNV009616$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0101069 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS BL.900M.308 (10) $e00 BL 2821 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$gBL$h2821$kCONS BL.900M.308 (10)$oc$qa 996 $aRin-Sok$91433388 997 $aUNICAMPANIA LEADER 04097nam 22008535 450 001 996466172603316 005 20200630204534.0 010 $a3-642-24206-5 024 7 $a10.1007/978-3-642-24206-9 035 $a(CKB)3400000000025662 035 $a(SSID)ssj0000609492 035 $a(PQKBManifestationID)11406510 035 $a(PQKBTitleCode)TC0000609492 035 $a(PQKBWorkID)10620837 035 $a(PQKB)11466415 035 $a(DE-He213)978-3-642-24206-9 035 $a(MiAaPQ)EBC6283826 035 $a(MiAaPQ)EBC5585626 035 $a(Au-PeEL)EBL5585626 035 $a(OCoLC)1066194888 035 $a(PPN)159084962 035 $a(EXLCZ)993400000000025662 100 $a20120127d2011 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDatalog Reloaded$b[electronic resource] $eFirst International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers /$fedited by Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (VIII, 399 p. 52 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v6702 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-24205-7 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvements from numerous submissions. The papers showcase the state-of-the-art in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v6702 606 $aApplication software 606 $aComputer communication systems 606 $aInformation storage and retrieval 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aMathematical logic 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aApplication software. 615 0$aComputer communication systems. 615 0$aInformation storage and retrieval. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 14$aInformation Systems Applications (incl. Internet). 615 24$aComputer Communication Networks. 615 24$aInformation Storage and Retrieval. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 676 $a005.75 702 $ade Moor$b Oege$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGottlob$b Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFurche$b Tim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSellers$b Andrew$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466172603316 996 $aDatalog Reloaded$92829809 997 $aUNISA