عنوان
پدید آورنده
موضوع
رده
QA 9 .5 .I58 1993
QA
9
.
5
.
I58
1993
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
100869
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
viii, 432 p. : ill. ; 24 cm
فروست
عنوان فروست
Lecture notes in computer science, 466
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Lambda calculus -- Congresses
رده بندی کنگره
شماره رده
QA
9
.
5
.
I58
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
M. Bezem, J.F. Groote )eds.(
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU craM ,mezeB 1956-
عنصر شناسه اي
AU ocsirF naJ ,etoorG 1965-
شناسه افزوده (تنالگان)
عنصر شناسه اي
International Conference on Typed Lambda Calculi and Applications, Utrecht, Netherlands(, )1993
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
