分享给好友:
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
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2011年7月22日 |
| ISBN13 | 9783642228063 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 130 |
| 商品尺寸 | 159 × 235 × 11 mm · 226 g |
| 语言 | 法语 |