LEADER 01362nam2-2200385li-450-
001 990003078600203316
005 20080424081522.0
010   $a978-3-540-72732-3
035   $a000307860
035   $aUSA01000307860
035   $a(ALEPH)000307860USA01
035   $a000307860
100   $a2002008031292007----y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aLogical foundations of computer science$eInternational symposium, LFCS 2007$eNew York, NY, USA, June 4-7, 2007$eproceedings$fSergei N. Artemov, Anil Nerode (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXI, 511 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4514
410  0$12001$aLecture notes in computer science$v4514
606 1 $aLinguaggi di programmazione$xCongressi$yNew York$z2007
676   $a005.13
702  1$aARTEMOV,$bSergei N.
702  1$aNERODE,$bAnil
710 12$aInternational symposium, LFCS 2007$e<New York;$f2007;>$0752840
801 0 $aITA$bsalbc$dISBD
912   $a990003078600203316
951   $a001 LNCS 4514$b35064/CBS$c001$d00224707
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080312$lUSA01$h0953
979   $aANGELA$b90$c20080424$lUSA01$h0813
979   $aANGELA$b90$c20080424$lUSA01$h0815
996   $aLogical foundations of computer science$91514220
997   $aUNISA