• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Generalized recursion theory. Proceedings of the 1972 Oslo symposium

پدید آورنده

موضوع
، Recursive functions

رده
QA
248
.
5
.
S93
1972

کتابخانه
كتابخانه مركزی دانشگاه صنعتی شریف

محل استقرار
استان: تهران ـ شهر: تهران

كتابخانه مركزی دانشگاه صنعتی شریف

تماس با کتابخانه : 66005817-021

شناسگر استاندارد دیگر

شماره استاندارد
48842

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English

عنوان و نام پديدآور

نام عام مواد
)20(
عنوان اصلي
Generalized recursion theory. Proceedings of the 1972 Oslo symposium

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Amsterdam, North-Holland Pub. Co., New York
نام ناشر، پخش کننده و غيره
American Elsevier Pub. Co.
تاریخ نشرو بخش و غیره
1974

مشخصات ظاهری

نام خاص و کميت اثر
viii, 456 p.; 23 cm

فروست

عنوان فروست
Studies in logic and the foundations of mathematics
شاپا ي ISSN فروست
V.79

يادداشت کلی

متن يادداشت
Includes bibliographical references and index

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
، Recursive functions

رده بندی کنگره

شماره رده
QA
248
.
5
.
S93
1972

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

کد نقش
AU
عنصر شناسه اي
Ed. by J. E. Fenstad and P. G. Hinman

نام / عنوان به منزله شناسه افزوده

عنصر شناسه اي
AU kirE sneJ ,datsneF ed.
عنصر شناسه اي
AU .G reteP ,namniH ed.
عنصر شناسه اي
TI
عنصر شناسه اي
SE

شناسه افزوده (تنالگان)

عنصر شناسه اي
Symposium on Generalized Recursion theory Oslo, 1972

شماره دستیابی

نحوه قرار گرفتن مدرك روي قفسه
02

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال