دانلود کتاب Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings
محاسبات و کاربردهای Lambda تایپ شده: پنجمین کنفرانس بین المللی ، TLCA 2001 کراکوف ، لهستان ، مقالات 2 تا 5 مه 2001
زبان : English
نویسندگان : Olivier Danvy (auth.), Samson Abramsky (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2001
ISBN (شابک) : 3540419608, 9783540419600
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2044
تعداد صفحات : 436[440]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان