دانلود کتاب Martin-Lof's Type Theory
کتاب نظریه تیپ مارتین-لوف نسخه زبان اصلی
دانلود کتاب نظریه تیپ مارتین-لوف بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Martin-Lof's Type Theory
نام کتاب : Martin-Lof's Type Theory
عنوان ترجمه شده به فارسی : نظریه تیپ مارتین-لوف
سری :
نویسندگان : Nordstrom B., Petersson K., Smith J.M.
ناشر :
سال نشر :
تعداد صفحات : 38
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 247 Kb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی