Automata, logics, and infinite games

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Grädel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Springer c2002.
Σειρά:	Lecture notes in computer science 2500.
Θέματα:	Computer science > Mathematics. Machine theory. Logic, Symbolic and mathematical. Game theory.