Logic and Games on Automatic Structures - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Lukasz Kaiser - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783642228063 - 2011年7月22日
如封面与标题不符,以标题为准

Logic and Games on Automatic Structures - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

价格
元 442
不含税

远程仓调货

预计送达时间 年6月23日 - 年7月9日
添加至iMusic心愿单

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
语言 法语  

Mere med samme udgiver