LEADER 02396nlm0 22006251i 450 001 990009259610403321 010 $a9783642006654 035 $a000925961 035 $aFED01000925961 035 $a(Aleph)000925961FED01 035 $a000925961 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aLogic, Language, and Computation$bRisorsa elettronica$e7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers$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, Peter Bosch, David Gabelaia, Jérôme Lang 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5422 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBosch,$bPeter 702 1$aGabelaia,$bDavid 702 1$aGoebel,$bRandy 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aLang,$bJérôme 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 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-642-00665-4 901 $aEB 912 $a990009259610403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer science 961 $aComputer Science 961 $aLanguage Translation and Linguistics 961 $aMathematical Logic and Formal Languages 961 $aTranslators (Computer programs) 996 $aLogic, Language, and Computation$9772541 997 $aUNINA