عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L64 1991
QA
9
.
A1
.
L64
1991
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
102399
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
تا‌بستا‌ن۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Logic from computer science : proceedings of a workshop held November 13-17, 1989
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1992
مشخصات ظاهری
نام خاص و کميت اثر
xi, 608 p. : ill. ; 24 cm
فروست
عنوان فروست
Mathematical Sciences Research Institute publications, v. 12
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical--Congresses
عنصر شناسه ای
، Computer science--Congresses
رده بندی کنگره
شماره رده
QA
9
.
A1
.
L64
1991
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
Y.N. Moschovakis, editor
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .N sinnaiY ,sikavohcsoM
عنصر شناسه اي
SE Mathematical Sciences Research Institute publications, 21
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
