عنوان
پدید آورنده
موضوع
رده
QA 267 .S98 1983
QA
267
.
S98
1983
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
77314
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
تا‌بستا‌ن۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
عنوان اصلي
Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1984
مشخصات ظاهری
نام خاص و کميت اثر
vi, 456 p. : ill. ; 25 cm
فروست
عنوان فروست
Lecture notes in computer science, 171
يادداشت کلی
متن يادداشت
Includes bibliographies
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Machine theory--Congresses
عنصر شناسه ای
، Computational complexity--Congresses
عنصر شناسه ای
، Decision-making--Congresses
رده بندی کنگره
شماره رده
QA
267
.
S98
1983
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
edited by E. Borger, G. Hasenjaeger, and D. Rغodding
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU nogE ,regroB 1946-
عنصر شناسه اي
AU trebsiG ,regeajnesaH 1919-
عنصر شناسه اي
AU reteiD ,gniddoR 1937-
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
