tlca99

محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، 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 (به فارسی: محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، 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 تعداد…