نظریه تیپ شهودی
Intuitionistic Type Theory
نویسنده: it-ebooks
ناشر: iBooker it-ebooks
سال انتشار: 2017
تعداد صفحات: 57
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 672 کیلوبایت
توضیحی برای این کتاب ثبت نشده است.