close
Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions秒殺搶購
網友評鑑4.5顆星，這是網路上最便宜的 在此介紹給您
博客來電腦-資料結構/演算法分類網友推薦
如果您還想深入了解Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions
點圖即可看詳細介紹
內容簡介
| 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. |
美金：72.00元
本類書籍銷售 Top 5
全站熱搜
留言列表
