LEADER 02325nlm0 22006371i 450 
001 990009260270403321
010   $a9783642017483
035   $a000926027
035   $aFED01000926027
035   $a(Aleph)000926027FED01
035   $a000926027
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aLanguages: From Formal to Natural$bRisorsa elettronica$eEssays Dedicated to Nissim Francez on the Occasion of His 65th Birthday$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, Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5533
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aGrumberg,$bOrna
702  1$aHutchison,$bDavid
702  1$aKaminski,$bMichael
702  1$aKanade,$bTakeo
702  1$aKatz,$bShmuel
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$aSteffen,$bBernhard
702  1$aSudan,$bMadhu
702  1$aTerzopoulos,$bDemetri
702  1$aTygar,$bDoug
702  1$aVardi,$bMoshe Y.
702  1$aWeikum,$bGerhard
702  1$aWintner,$bShuly
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-01748-3
901   $aEB
912   $a990009260270403321
961   $aArithmetic and Logic Structures
961   $aComputer science
961   $aComputer Science
961   $aInformation theory
961   $aLogic design
961   $aLogic, Symbolic and mathematical
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aMathematical Logic and Foundations
961   $aTheory of Computation
996   $aLanguages: From Formal to Natural$9774172
997   $aUNINA