خرید و دانلود نسخه کامل کتاب The Resolution Calculus

حساب تفکیک

The Resolution Calculus

نویسنده: Alexander Leitsch

ناشر: Springer

سال انتشار: 1997

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

زبان: English

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

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