نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدید آورنده
Hermes, Hans
موضوع
، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده
QA
248
.
5
.
H413
کتابخانه
كتابخانه پردیس علوم دانشگاه تهران
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
61112616
-
66495290
-
021
شناسگر استاندارد دیگر
شماره استاندارد
35678
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام نخستين پديدآور
Hermes, Hans
عنوان اصلي
Enumerability, decidability, computability; an introduction to the theory of recursive functions
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1965
مشخصات ظاهری
نام خاص و کميت اثر
ix, 245 p. illus. 24 cm
فروست
عنوان فروست
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 721
يادداشت کلی
متن يادداشت
Includes bibliographies
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
by Hans Hermes. Translated by G.T Herman and O. Plassmann
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Recursive functions
عنصر شناسه ای
، Algorithms
عنصر شناسه ای
، Godel's theorem
عنصر شناسه ای
، Computable functions
رده بندی کنگره
شماره رده
QA
248
.
5
.
H413
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
SE Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete, Bd. 1
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
یاضه ریه دانشکدانابخکت
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد