دانلود کتاب Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

Lambda Calculi تایپ شده و کاربردها: هفتمین کنفرانس بین المللی ، TLCA 2005 ، نارا ، ژاپن ، 21 تا 23 آوریل 2005. مجموعه مقالات

زبان : English

نویسندگان : Thierry Coquand (auth.), Paweł Urzyczyn (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2005

ISBN (شابک) : 3540255931, 9783540255932

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 3461 : Theoretical Computer Science and General Issues

تعداد صفحات : 436[441]

حجم : 3 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان