خرید و دانلود نسخه کامل کتاب First-Order Logic and Automated Theorem Proving

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

First-Order Logic and Automated Theorem Proving

نویسنده: Melvin Fitting

ناشر: Springer

سال انتشار: 1996

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

زبان: English

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

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