دانلود کتاب Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings



زبان : English

نویسندگان : Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1997

ISBN (شابک) : 3540626883, 9783540626886

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

سری : Lecture Notes in Computer Science 1210

تعداد صفحات : 412[414]

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

فرمت کتاب : pdf

قیمت : 36000 تومان