دانلود کتاب Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

Lambda Calculi تایپ شده و کاربردها: ششمین کنفرانس بین المللی ، TLCA 2003 والنسیا ، اسپانیا ، 10 تا 12 ژوئن ، مجموعه مقالات

زبان : English

نویسندگان : Andreas Abel (auth.), Martin Hofmann (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 3540403329, 9783540403326

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

سری : Lecture Notes in Computer Science 2701

تعداد صفحات : 320[324]

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

فرمت کتاب : pdf

قیمت : 36000 تومان