کامپیوترها

محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات

Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings

دانلود کتاب Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings (به فارسی: محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات) نوشته شده توسط «Jean-Marc Andreoli (auth.) – Jean-Yves Girard (eds.)»

اطلاعات کتاب محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Jean-Marc Andreoli (auth.) – Jean-Yves Girard (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1999

تعداد صفحه: 404

حجم کتاب: 8 مگابایت

کد کتاب: 3540657630 , 9783540657637

نوبت چاپ: 1

توضیحات کتاب محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات

این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین‌المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA’99، که در لاکویلا، ایتالیا در آوریل 1999 برگزار شد، تشکیل می‌شود. . همچنین شامل دو تظاهرات دعوت شده است. حجم گزارش نتایج تحقیقات در مورد جنبه های مختلف محاسبات لامبدا تایپ شده است. از جمله موضوعاتی که به آن پرداخته می شود، منطق های غیر جابه جایی، تئوری نوع، انواع داده های جبری، محاسبات منطقی، انواع داده های انتزاعی و تایپ فرعی است.

This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA’99, held in L’Aquila, Italy in April 1999. The 25 revised full papers presented were carefully reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calculi. Among the topics addressed are noncommutative logics, type theory, algebraic data types, logical calculi, abstract data types, and subtyping.

دانلود کتاب «محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان