calculj
محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات
دانلود کتاب Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات) نوشته شده توسط «Yohji Akama (auth.) – Marc Bezem – Jan Friso Groote (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…
محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات
دانلود کتاب Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA ’97 Nancy, France, April 2–4, 1997 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات) نوشته شده توسط «Yohji Akama (auth.) – Philippe de Groote – J. Roger Hindley (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات موضوع اصلی: کامپیوترها…