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 |