عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook34220
eng
Automata, logics, and infinite games
New York :
: Springer,
, 2002.
Print
Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
; - ; Wilke, Thomas, ; 1965- ; Thomas, Wolfgang, ; 1947-Gr?del, Erich, ; 1958
old catalog
