خرید و دانلود نسخه کامل کتاب Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

منطق و بازی در ساختارهای خودکار: بازی با Quantifiers و Decompositions

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

نویسنده: Łukasz Kaiser (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

تعداد صفحات: 118 [248]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 1 مگابایت