LEADER 01335nam2-2200373li-450 
001 990003192190203316
005 20180918155411.0
010   $a978-3-540-92686-3
035   $a000319219
035   $aUSA01000319219
035   $a(ALEPH)000319219USA01
035   $a000319219
100   $a2002009012009-------y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aLogical foundations of computer science$eInternational symposium, LFCS 2009$eDeerfield Beach, FL, USA, January 3-6, 2009$eproceedings$fSergei Artemov, Anil Nerode (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aXI, 467 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5407
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 1 $aLinguaggi di programmazione$xCongressi$yDeerfield Beach$z2009
676   $a005.13
702  1$aARTEMOV,$bSergei
702  1$aNERODE,$bAnil
710 12$aInternational symposium, LFCS 2009$f<2009;$eDeerfield>$0751917
801 0 $aITA$bsalbc$dISBD
912   $a990003192190203316
951   $a001 LNCS 5407$b37831/CBS$c001$d00218121
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20090130$lUSA01$h1221
996   $aLogical foundations of computer science$91511571
997   $aUNISA