机读格式显示(MARC)

• 000 01019cam a2200301 a 4500

• 001 0000847989

• 005 20251104214600.0

• 008 021209s2002 gw a b 101 0 eng

• 010 __ |a 2002044587

• 020 __ |a 3540003886 (alk. paper)

• 040 __ |a DLC |c DLC |d DLC

• 042 __ |a pcc

• 050 00 |a QA76.9.M35 |b A85 2002

• 082 00 |a 004/.01/51 |2 21

• 090 __ |a TP301.6/X6

• 093 __ |a TP301.6 |2 5

• 245 00 |a Automata logics, and infinite games : |b a guide to current research / |c Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.).

• 260 __ |a Berlin ; |a New York : |b Springer, |c 2002.

• 300 __ |a viii, 385 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science ; |v 2500

• 504 __ |a Includes bibliographical references (p. [365]-376) and index.

• 650 00 |a Computer science |x Mathematics.

• 650 00 |a Machine theory.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Game theory.

• 700 1_ |a Gradel, Erich, |d 1958-

• 700 1_ |a Thomas, Wolfgang, |d 1947-

• 700 1_ |a Wilke, Thomas, |d 1965-