Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 22. julija 2011 |
| ISBN13 | 9783642228063 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 130 |
| Dimenzije | 159 × 235 × 11 mm · 226 g |
| Jezik | Francoščina |