תמונות העטיפה

Automata, logics, and infinite games

מידע ביבליוגרפי
מחברים אחרים: Grädel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
פורמט: ספר
שפה:אנגלית
יצא לאור: New York Springer c2002.
סדרה:Lecture notes in computer science 2500.
נושאים:
Computer science > Mathematics.
Machine theory.
Logic, Symbolic and mathematical.
Game theory.

פריטים דומים