خرید و دانلود نسخه کامل کتاب Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]

رویه تصمیم گیری مبتنی بر اشباع برای گسترش بخشهای محافظت شده [پایان نامه دکتری]

Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]

نویسنده: Yevgeny Kazakov

ناشر: Universität des Saarlandes

سال انتشار: 2006

تعداد صفحات: 315

زبان: English

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

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