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

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

تعداد فروش: 53

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

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

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

توضیحات

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

نظرات (0)

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

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

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