عنوان
پدید آورنده
موضوع
رده
QA 248 .5 .H413 1969
QA
248
.
5
.
H413
1969
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
28687
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Hermes, Hans.
عنوان اصلي
Enumerability, decidability, computability. An introduction to the theory of recursive functions
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1969
مشخصات ظاهری
نام خاص و کميت اثر
x, 245 p.; 24 cm
فروست
عنوان فروست
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berغucksichtigung der Anwendungsgebiete, Bd. 721
يادداشت کلی
متن يادداشت
Translation of Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
متن يادداشت
Includes bibliographies
یادداشتهای مربوط به ویراست و تاریخچه کتابشناختی اثر
متن يادداشت
2d rev. ed
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Recursive functions
عنصر شناسه ای
، Algorithms
عنصر شناسه ای
، Godel's theorem
رده بندی کنگره
شماره رده
QA
248
.
5
.
H413
1969
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Translated by G. T. Hermann and O. Plassmann
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
