A brief introduction to type theory and the univalence axiom

دانلود کتاب A brief introduction to type theory and the univalence axiom

29000 تومان موجود

کتاب مقدمه ای کوتاه بر نظریه نوع و اصل یک ظرفیتی

دانلود کتاب مقدمه ای کوتاه بر نظریه نوع و اصل یک ظرفیتی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 11


توضیحاتی در مورد کتاب A brief introduction to type theory and the univalence axiom

نام کتاب : A brief introduction to type theory and the univalence axiom
ویرایش : version 11 Nov 2015
عنوان ترجمه شده به فارسی : مقدمه ای کوتاه بر نظریه نوع و اصل یک ظرفیتی
سری : REU work, Chicago 2015
نویسندگان :
ناشر :
سال نشر : 2015
تعداد صفحات : 15

زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 244 کیلوبایت


بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی