Automata, logics, and infinite games
a guide to current research
Edición de la obra Automata, logics, and infinite games
| Autor | Erich Grädel, Wolfgang Thomas |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2002 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 385 |
| ISBN-10 | 3540003886 |
| Serie | Lecture notes in computer science -- 2500. -- Lecture notes in artificial intelligence · Lecture notes in computer science -- 2500 · Lecture notes in computer science |
| Número de Cutter | G732a |