خرید و دانلود نسخه کامل کتاب Introduction to HOL: A theorem-proving environment for higher order logic

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

تعداد فروش: 61

عنوان فارسی	مقدمه ای بر HOL: یک محیط اثبات کننده قضیه برای منطق مرتبه بالاتر
عنوان اصلی	Introduction to HOL: A theorem-proving environment for higher order logic
ناشر	Cambridge University Press
نویسنده	Gordon M.J. C., Melham T.F. (eds.)
ISBN	9780521441896, 0521441897
سال نشر	1993
زبان	English
تعداد صفحات	493
دسته	سایبرنتیک: هوش مصنوعی
فرمت کتاب	PDF – قابل تبدیل به سایر فرمت ها
حجم فایل	3 مگابایت

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

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

توضیحات

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

نظرات (0)

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

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

اولین کسی باشید که دیدگاهی می نویسد “خرید و دانلود نسخه کامل کتاب Introduction to HOL: A theorem-proving environment for higher order logic”