خرید و دانلود نسخه کامل کتاب Handbook of Practical Logic and Automated Reasoning

کتاب منطق عملی و استدلال خودکار

Handbook of Practical Logic and Automated Reasoning

نویسنده: John Harrison

ناشر: Cambdirdge University Press

سال انتشار: 2009

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

زبان: English

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

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