فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش

00روز

10ساعت

50دقیقه

44ثانیه

-27%

خرید و دانلود نسخه کامل کتاب 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 آیتم آخرین فروخته شده 30 دقیقه

5 افرادی که اکنون این محصول را تماشا می کنند!

توضیحات

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

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

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

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