LEADER 01660nlm0 22004691i 450 001 990009262280403321 010 $a9783642042386 035 $a000926228 035 $aFED01000926228 035 $a(Aleph)000926228FED01 035 $a000926228 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aLogic Programming and Nonmonotonic Reasoning$bRisorsa elettronica$e10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings$fedited by Esra Erdem, Fangzhen Lin, Torsten Schaub 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5753 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aErdem,$bEsra 702 1$aLin,$bFangzhen 702 1$aSchaub,$bTorsten 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-04238-6 901 $aEB 912 $a990009262280403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputational complexity 961 $aComputer science 961 $aComputer Science 961 $aDiscrete Mathematics in Computer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNINA