First-Order Logic and Automated Theorem Proving

دانلود کتاب First-Order Logic and Automated Theorem Proving

دسته: منطق

75000 تومان موجود

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

دانلود کتاب منطق مرتبه اول و اثبات قضیه خودکار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 6


توضیحاتی در مورد کتاب First-Order Logic and Automated Theorem Proving

نام کتاب : First-Order Logic and Automated Theorem Proving
ویرایش : 1st
عنوان ترجمه شده به فارسی : منطق مرتبه اول و اثبات قضیه خودکار
سری : Texts and Monographs in Computer Science
نویسندگان :
ناشر : Springer
سال نشر : 1990
تعداد صفحات : 262
ISBN (شابک) : 0387972331 , 3540972331
زبان کتاب : English
فرمت کتاب : djvu    درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت


بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی