عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .W6 1987
QA
76
.
6
.
W6
1987
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
87509
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
CSL'87 lst workshop on computer science logic
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin: New York
نام ناشر، پخش کننده و غيره
Springer Verlag
تاریخ نشرو بخش و غیره
1988
مشخصات ظاهری
نام خاص و کميت اثر
vi, 346p.: ill.
فروست
عنوان فروست
Lecture notes in computer science; 923
يادداشت کلی
متن يادداشت
Includes bibliographies
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Electronic digital computers-- Design and construction-- Congresses
عنصر شناسه ای
، Logic design-- Computer programming-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
6
.
W6
1987
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
]edited by[ E. Borger, H. Kleine Buning, M. M. Richter
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .E ,regroB ed
عنصر شناسه اي
AU H enielK gninuB ed
عنصر شناسه اي
AU .M .M ,rethciR ed
عنصر شناسه اي
TI CSL87
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
Workshop on computer science logic )1st: 1987: Karlsruhe(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
