LEADER 01483nam--2200433---450- 001 990000772840203316 005 20090907130827.0 035 $a0077284 035 $aUSA010077284 035 $a(ALEPH)000077284USA01 035 $a0077284 100 $a20011127d1998----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> codice del commercio degli alimenti e delle bevande$eproduzione, commercio, igiene, vigilanza$fa cura di Stefano Maglia, Massimo Medugno, Marco Dallavalle 210 $aPiacenza$cLa Tribuna$d1998 215 $a1758 p$d19 cm 225 2 $aI codici commentati con la giurisprudenza 300 $aIn cop. 1998 410 $12001$aI codici commentati con la giurisprudenza 606 0 $aAlimenti$xLegislazione 606 0 $aBevande$xLegislazione 676 $a344.450423202638 700 1$aMAGLIA,$bStefano$035647 701 1$aMEDUGNO,$bMassimo$079393 701 1$aDALLAVALLE,$bMarco$0357281 801 0$aIT$bsalbc$gISBD 912 $a990000772840203316 951 $aXXIV.3.A 286 (CODEX 619)$b18520 G.$cXXIV.3.A 286 ( (CODEX)$d00239467 959 $aBK 969 $aGIU 979 $aPATTY$b90$c20011127$lUSA01$h1034 979 $aPATTY$b90$c20020326$lUSA01$h0940 979 $c20020403$lUSA01$h1724 979 $aPATRY$b90$c20040406$lUSA01$h1653 979 $aRSIAV2$b90$c20090907$lUSA01$h1308 996 $aCodice del commercio degli alimenti e delle bevande$9964333 997 $aUNISA LEADER 04262nam 22008055 450 001 996466262103316 005 20200630020247.0 010 $a3-642-22359-1 024 7 $a10.1007/978-3-642-22359-4 035 $a(CKB)2550000000054143 035 $a(SSID)ssj0000609379 035 $a(PQKBManifestationID)11372756 035 $a(PQKBTitleCode)TC0000609379 035 $a(PQKBWorkID)10608795 035 $a(PQKB)11142869 035 $a(DE-He213)978-3-642-22359-4 035 $a(MiAaPQ)EBC3067233 035 $a(PPN)156320339 035 $a(EXLCZ)992550000000054143 100 $a20110914d2011 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Logic in Multi-Agent Systems$b[electronic resource] $e12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /$fedited by Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XV, 383 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6814 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-22358-3 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems. 410 0$aLecture Notes in Artificial Intelligence ;$v6814 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aComputer communication systems 606 $aProgramming languages (Electronic computers) 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 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer communication systems. 615 0$aProgramming languages (Electronic computers). 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Communication Networks. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a006.3 702 $aLeite$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTorroni$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAgotnes$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBoella$b Guido$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan der Torre$b Leon$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCLIMA (Workshop) 906 $aBOOK 912 $a996466262103316 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNISA