منطق متغیر محدود و شمارش: مطالعه در مدل های محدود
Bounded Variable Logics and Counting: A Study in Finite Models
نویسنده: Martin Otto
ناشر: Cambridge University Press
سال انتشار: 2017
تعداد صفحات: 195
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 19 مگابایت