Lambda Calculi with Types
Barendregt H.قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Barendregt H.
- ناشر
- 1992
- سال انتشار
- ۱۹۹۲
- فرمت
- PS
- زبان
- انگلیسی
- حجم فایل
- ۱٫۰ مگابایت
کتابهای مشابه
The calculi of lambda-conversion
۴۹٬۰۰۰ تومان
The calculi of lambda-conversion
۴۹٬۰۰۰ تومان
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
۴۹٬۰۰۰ تومان
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
۴۹٬۰۰۰ تومان
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
۴۹٬۰۰۰ تومان
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
۴۹٬۰۰۰ تومان
Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2
۴۹٬۰۰۰ تومان
Lambda Calculus with Types
۴۹٬۰۰۰ تومان
Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
۴۹٬۰۰۰ تومان
Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
۴۹٬۰۰۰ تومان
Lambda-calculus: types and models
۴۹٬۰۰۰ تومان
Lambda-calculus, types and models
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان