Twenty-Five Years of Constructive Type Theory

Twenty-Five Years of Constructive Type Theory
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Proceedings of a Congress Held in Venice, October 1995

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
iran گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1998

نویسنده

Jan M. Smith

ناشر

Clarendon Press

شابک

9780198501275

کتاب های مرتبط

  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|