عنوان
پدید آورنده
موضوع
رده
QA 248.5 .H413
QA
248
.
5
.
H413
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
14369
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Enumerability, decidability, computability; an introduction to the theory of recursive functions
نام عام مواد
[Book]
نام نخستين پديدآور
/ by Hans Hermes. Translated by G.T Herman and O. Plassmann
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
: Springer-Verlag
تاریخ نشرو بخش و غیره
, 1965.
مشخصات ظاهری
نام خاص و کميت اثر
ix, 245 p.
ساير جزييات
: illus. 24 cm
فروست
عنوان فروست
(Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
مشخصه جلد
; Bd. 127)
يادداشت کلی
متن يادداشت
Language: English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographies
فروست (داده ارتباطی)
عنوان
Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete, Bd. 1
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Recursive functions
موضوع مستند نشده
Algorithms
موضوع مستند نشده
Godel's theorem
موضوع مستند نشده
Computable functions
رده بندی کنگره
شماره رده
QA
248
.
5
نشانه اثر
.
H413
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Hermes, Hans
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 248.5 .H413
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
