دانلود کتاب Automating reasoning in an implementation of constructive type theory
کتاب خودکارسازی استدلال در اجرای نظریه نوع سازنده نسخه زبان اصلی
دانلود کتاب خودکارسازی استدلال در اجرای نظریه نوع سازنده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Automating reasoning in an implementation of constructive type theory
نام کتاب : Automating reasoning in an implementation of constructive type theory
ویرایش : phd thesis
عنوان ترجمه شده به فارسی : خودکارسازی استدلال در اجرای نظریه نوع سازنده
سری :
نویسندگان : Howe D.J.
ناشر : Cornell
سال نشر : 1988
تعداد صفحات : 276
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی