Faites connaître cet article à vos amis:
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édias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 22 juillet 2011 |
| ISBN13 | 9783642228063 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 130 |
| Dimensions | 159 × 235 × 11 mm · 226 g |
| Langue et grammaire | Français |