عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 A85 2002
QA
76
.
9
.
M35
A85
2002
کتابخانه
محل استقرار
English
Automata, logics, and infinite games
Berlin; New York
Springer
2002
viii, 385 p.: ill.; 24 cm
Lecture notes in computer science; 0052
Includes bibliographical references )p. ]365[-376( and index.
Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
1
، Computer science - Mathematics
، Machine theory
، Logic, Symbolic and mathematical
، Game theory
004/
.
01/51
QA
76
.
9
.
M35
A85
2002
TI
AU Gradel, Erich 1958-
AU Thomas, Wolfgang 1947-
AU Wilke, Thomas 1965-
SE
