000 01081 a2200337 4500
001 10776
999 _c10776
_d725
003 TR-AnTOB
005 20201119172342.0
008 021209s2002 gw a b 001 0 eng
010 _a2002044587
020 _a3540003886 (alk. paper)
040 _aDLC
_cDLC
_dDLC
041 _aeng
042 _apcc
050 0 _aQA76.9.M35
_bA85 2002
090 _aQA76.9.M35 A85 2002
245 0 _aAutomata, logics, and infinite games /
_cErich Gradel, Wolfgang Thomas, Thomas Wilke (eds.).
264 1 _aBerlin ;
_aNew York :
_bSpringer,
_c2002.
300 _aviii, 385 p. :
_bill. ;
_c24 cm.
490 0 _aLecture notes in computer science ;
_v2500
504 _aIncludes bibliographical references (p. [365]-376) and index.
650 0 _aGame theory
_92161
650 0 0 _aComputer science
_xMathematics
_9363
650 0 _aLogic, Symbolic and mathematical
_91361
650 0 0 _aMachine theory
_91804
700 1 _aGrädel, Erich,
_d1958-
_92158
700 1 _aThomas, Wolfgang,
_d1947-
_92159
700 _aWilke, Thomas,
_d1965-
_92160
942 _cBK