دانلود کتاب Symbolic Logic and Mechanical Theorem Proving
کتاب اثبات قضیه منطق نمادین و مکانیک نسخه زبان اصلی
دانلود کتاب اثبات قضیه منطق نمادین و مکانیک بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Symbolic Logic and Mechanical Theorem Proving
نام کتاب : Symbolic Logic and Mechanical Theorem Proving
عنوان ترجمه شده به فارسی : اثبات قضیه منطق نمادین و مکانیک
سری :
نویسندگان : Chin-Liang Chang and Richard Char-Tung Lee (Auth.)
ناشر : Elsevier Inc
سال نشر : 1973
تعداد صفحات : 338
ISBN (شابک) : 9780080917283
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 13 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی