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