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

قیمت اصلی 109,000 تومان بود.قیمت فعلی 78,000 تومان است.

تعداد فروش: 68

عنوان فارسی	منطق مرتبه اول و اثبات قضیه خودکار
عنوان اصلی	First-Order Logic and Automated Theorem Proving
ویرایش	1st
ناشر	Springer
نویسنده	Melvin Fitting
ISBN	9783540972334, 3540972331
سال نشر	1990
زبان	English
تعداد صفحات	262
دسته	منطق
فرمت کتاب	PDF – قابل تبدیل به سایر فرمت ها
حجم فایل	2 مگابایت

1 آیتم فروخته شده در 55 دقیقه

4 نفر در حال مشاهده این محصول هستند!

توضیحات

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.

نظرات (0)

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

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