عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2500
QA
76
.
L28
Vol
.
2500
کتابخانه
محل استقرار
Automata, logics, and infinite games
Berlin
Springer-Verlag
2002
viii, 385p. : ill.
Lecture notes in computer science ;0052
Bibliography: P.]365[-376
ISBN: 3540003886
Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
1
، Computer science -- Mathematics
، Machine theory
، Logic, Symbolic and mathematical
، Game theory
QA
76
.
L28
Vol
.
2500
TI
AU Gradel, Erich, 1958-
AU Thomas, Wolfgang, 1947-
AU Wilke, Thomas, 1965-
SE
