Կազմի պատկեր

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.

Նմանատիպ նյութեր