خرید و دانلود نسخه کامل کتاب Confluence and Normalization in Reduction Systems [lecture notes]

تلاقی و عادی سازی در سیستم های کاهش [یادداشت های سخنرانی]

Confluence and Normalization in Reduction Systems [lecture notes]

نویسنده: Gert Smolka

ناشر: 2015

سال انتشار: 2015

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

زبان: English

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

حجم فایل: 127 کیلوبایت