LEADER 01328nam--2200421---450-
001 990001889370203316
005 20040730105912.0
010   $a3-540-00388-6
035   $a000188937
035   $aUSA01000188937
035   $a(ALEPH)000188937USA01
035   $a000188937
100   $a20040730d2002----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aAutomata logics and infinite games$ea guide to current research$fErich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2002
215   $aVIII, 385 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2500
410  0$12001$aLecture notes in computer science$v2500
454  1$12001
461  1$1001-------$12001
610 0 $aScienza del computer
676   $a004.0151
702  1$aGRÄDEL,$bErich
702  1$aTHOMAS,$bWolfgang
702  1$aWILKE,$bThomas
801  0$aIT$bsalbc$gISBD
912   $a990001889370203316
951   $a001 LNCS 2500$b0029425/CBS$c001$d00113990
951   $a001 LNCS 2500 (A)$b0028660/CBS$c001$d00113399
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040730$lUSA01$h1048
979   $aRIVELLI$b90$c20040730$lUSA01$h1059
996   $aAutomata logics and infinite games$9953858
997   $aUNISA