LEADER 01020nam0 22002533i 450 001 SUN0122689 005 20190716110504.720 010 $a8-88-495-1667-8$d0.00 100 $a20190716d2008 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a*Modelli argomentativi delle teorie giuridiche contemporanee$fValeria Giordano 210 $aNapoli$cEdizioni Scientifiche Italiane$d2008 215 $a190 p.$d23 cm. 410 1$1001SUN0122690$12001 $a*Societas$h2. serie$v7$1210 $aNapoli$cEdizioni Scientifiche Italiane. 620 $dNapoli$3SUNL000005 700 1$aGiordano$b, Valeria$f1973- $3SUNV091280$0760791 712 $aESI$3SUNV000952$4650 801 $aIT$bSOL$c20190722$gRICA 912 $aSUN0122689 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XXI.Ed.355 7 $e00VS 122689 20190716 996 $aModelli argomentativi delle teorie giuridiche contemporanee$91558468 997 $aUNICAMPANIA LEADER 03233nam 22005895 450 001 996465528503316 005 20200705211326.0 010 $a3-642-20589-5 024 7 $a10.1007/978-3-642-20589-7 035 $a(CKB)2670000000082471 035 $a(SSID)ssj0000534055 035 $a(PQKBManifestationID)11333914 035 $a(PQKBTitleCode)TC0000534055 035 $a(PQKBWorkID)10493414 035 $a(PQKB)10884496 035 $a(DE-He213)978-3-642-20589-7 035 $a(MiAaPQ)EBC3066655 035 $a(PPN)153867817 035 $a(EXLCZ)992670000000082471 100 $a20110419d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplications of Declarative Programming and Knowledge Management$b[electronic resource] $e18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers /$fedited by Salvador Abreu, Dietmar Seipel 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (X, 239 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6547 300 $aInternational conference proceedings. 311 $a3-642-20588-7 320 $aIncludes bibliographical references. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof. 410 0$aLecture Notes in Artificial Intelligence ;$v6547 606 $aArtificial intelligence 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 608 $aConference papers and proceedings.$2fast 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 676 $a006.3 702 $aAbreu$b Salvador$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSeipel$b Dietmar$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Applications of Declarative Programming and Knowledge Management. 906 $aBOOK 912 $a996465528503316 996 $aApplications of Declarative Programming and Knowledge Management$9772096 997 $aUNISA