000 | 00655 a2200277 4500 | ||
---|---|---|---|
001 | 242600 | ||
020 | _a3-540-00388-6 | ||
041 | _aeng | ||
080 | _a681.3:517.1Aut | ||
245 | _aAutomata logics and infinite games : a guide to current research | ||
250 | _a | ||
260 | _aBerlin | ||
260 | _bSpringer | ||
260 | _c2002 | ||
300 | _aviii,385 p. | ||
300 | _c23.5 cm | ||
490 | _aLecture notes in computer sience ; v. 2497 | ||
700 | _a | ||
700 | _aGradel, Erich | ||
700 | _aGradel, Erich | ||
650 | _a | ||
650 | _aComputer Science | ||
650 | _aAutomata theory , Logic, Symbolic and mathematical | ||
942 | _cBK | ||
942 | _2UDC | ||
999 |
_c144071 _d144071 |