خرید و دانلود نسخه کامل کتاب Logic for Computer Science : Foundations of Automatic Theorem Proving

منطق برای علوم کامپیوتر: مبانی اثبات قضیه خودکار

Logic for Computer Science : Foundations of Automatic Theorem Proving

نویسنده: Jean H. Gallier

ناشر: Dover Publications

سال انتشار: 2015

زبان: English

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

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