عنوان فارسیمقدمه ای بر 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
دسته
سایبرنتیک: هوش مصنوعی
فرمت کتابdjvu – قابل تبدیل به سایر فرمت ها
حجم فایل3 مگابایت
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.