LEADER 02466nlm0 22006731i 450 001 990009258920403321 010 $a9783540927013 035 $a000925892 035 $aFED01000925892 035 $a(Aleph)000925892FED01 035 $a000925892 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aLogic and Its Applications$bRisorsa elettronica$eThird Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. 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, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, R. Ramanujam, Sundar Sarukkai 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5378 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aGoebel,$bRandy 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$aRamanujam,$bR. 702 1$aSarukkai,$bSundar 702 1$aSiekmann,$bJörg 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWahlster,$bWolfgang 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-92701-3 901 $aEB 912 $a990009258920403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer science 961 $aComputer Science 961 $aComputer software 961 $aComputing Methodologies 961 $aElectronic data processing 961 $aInformation theory 961 $aMathematical Logic and Formal Languages 961 $aMathematics of Computing 961 $aTheory of Computation 996 $aLogic and its applications$9743287 997 $aUNINA