LEADER 01428nlm0 22003971i 450 001 990009249870403321 010 $a9783540302001 035 $a000924987 035 $aFED01000924987 035 $a(Aleph)000924987FED01 035 $a000924987 100 $a20100926d2005----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aComputational Logic in Multi-Agent Systems$bRisorsa elettronica$e4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers$fedited by Jürgen Dix, João Leite 210 $aBerlin ; Heidelberg$cSpringer$d2005 225 1 $aLecture Notes in Computer Science$x0302-9743$v3259 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aDix,$bJürgen 702 1$aLeite,$bJoão 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/b104175 901 $aEB 912 $a990009249870403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer Communication Networks 961 $aComputer Communication Networks 961 $aComputer science 961 $aComputer Science 961 $aMathematical Logic and Formal Languages 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNINA