000 01238cam a22003374a 4500
001 13024433
005 20170731160100.0
008 021209s2002 gw a b 001 0 eng
010 _a 2002044587
020 _a9783540003885
040 _aDLC
_cDLC
_dDLC
042 _apcc
050 0 0 _aQA76.9.M35
_bA85 2002
082 0 0 _a004.015
_221
_bGRA-A
100 _aGradel, Erich
245 0 0 _aAutomata, logics, and infinite games
_cErich Gradel, Wolfgang Thomas, Thomas Wilke (eds.).
260 _aNew York :
_bSpringer,
_c©2002.
300 _aviii, 385 p. :
_bill. ;
_c24 cm.
440 0 _aLecture notes in computer science ;
_v2500
504 _aIncludes bibliographical references (p. [365]-376) and index.
650 0 0 _aComputer science
_xMathematics.
650 0 0 _aMachine theory.
650 0 _aLogic, Symbolic and mathematical.
650 0 _aGame theory.
700 1 _aThomas, Wolfgang
700 1 _aWilke, Thomas
856 4 2 _3Publisher description
_uhttp://www.loc.gov/catdir/enhancements/fy0817/2002044587-d.html
906 _a7
_bcbc
_corignew
_d1
_eocip
_f20
_gy-gencatlg
942 _2ddc
_cBK
999 _c10180
_d10180