
Logic and Games on Automatic Structures
Playing with Quantifiers and Decompositions
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2011
نویسنده
Lukasz Kaiserناشر
Springerشابک
9783642228063
- اطلاعات
- دیدگاه کاربران
Playing with Quantifiers and Decompositions
9783642228063
دیدگاه کاربران