LEADER 02215nlm0 22006011i 450 001 990009258720403321 010 $a9783540899822 035 $a000925872 035 $aFED01000925872 035 $a(Aleph)000925872FED01 035 $a000925872 100 $a20100926d2008----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aLogic Programming$bRisorsa elettronica$e24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria Garcia de la Banda, Enrico Pontelli 210 $aBerlin ; Heidelberg$cSpringer$d2008 225 1 $aLecture Notes in Computer Science$x0302-9743$v5366 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aGarcia de la Banda,$bMaria 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 702 1$aPontelli,$bEnrico 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWeikum,$bGerhard 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-89982-2 901 $aEB 912 $a990009258720403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 996 $aLogic programming$9337553 997 $aUNINA