conferencetlca

محاسبات و کاربردهای تایپ شده لامبدا: هشتمین کنفرانس بین المللی، TLCA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات

دانلود کتاب Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: هشتمین کنفرانس بین المللی، TLCA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Frank Pfenning (auth.) – Simona Ronchi Della Rocca (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: هشتمین کنفرانس بین المللی، TLCA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Frank Pfenning (auth.) – Simona Ronchi Della Rocca (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت…