عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .W624 1991
QA
75
.
5
.
W624
1991
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
97887
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
پا‌ئیز۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
c1992
مشخصات ظاهری
نام خاص و کميت اثر
viii, 428p.; 24 cm.
فروست
عنوان فروست
Lecture notes in computer science, 626
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer science-- Congresses
عنصر شناسه ای
، Logic, Symbolic and mathematical-- Congresses
رده بندی کنگره
شماره رده
QA
75
.
5
.
W624
1991
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU nogE ,regroB 1946-
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
Workshop on Computer Science Logic, )5th, 1991, Bern, Switzerland(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
