عنوان
پدید آورنده
موضوع
رده
QA 76.7 .A285 2005
QA
76
.
7
.
A285
2005
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
وضعیت ویراست
نام نخستين ويراستار
3rd : 2005 : Tallinn, Estonia
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, N.Y.
نام ناشر، پخش کننده و غيره
ACM Press
تاریخ نشرو بخش و غیره
c2005
مشخصات ظاهری
نام خاص و کميت اثر
vii, 64 p.: ill.
يادداشت کلی
متن يادداشت
"...held in association with the 10th ACM SIGPLAN International Conference on Functional Progrmming )ICFP 2005(, on August 30th, 2005 in Tallinn, Estonia"
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 1595930728
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Programming languages )Electronic computers(
عنصر شناسه ای
Data processing -- Congresses ، Reasoning
رده بندی کنگره
شماره رده
QA
76
.
7
.
A285
2005
سایر رده بندی ها
شماره رده
NO
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Momigliano, Alberto
عنصر شناسه اي
AU Pollack, Randy
عنصر شناسه اي
CO Association for Computing Machinery
عنصر شناسه اي
CO ACM Special Interest Group on Programming Languages
عنصر شناسه اي
CO ACM SIGPLAN International Conference on Functional Programming 10th : 2005 : Tallinn, Estonia
عنصر شناسه اي
TI
عنصر شناسه اي
TI Mechanized reasoning about languages with variable binding
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
