Conte aos seus amigos sobre este item:
Logic and Games on Automatic Structures - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Lukasz Kaiser
Logic and Games on Automatic Structures - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Lukasz Kaiser
This book presents an innovative study in algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It is based on the PhD thesis of Lukasz Kaiser, which was awarded the E. W. Beth award.
130 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de julho de 2011 |
| ISBN13 | 9783642228063 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 130 |
| Dimensões | 159 × 235 × 11 mm · 226 g |
| Idioma | Francês |