عنوان
پدید آورنده
موضوع
رده
QA 9.59 .C65 1983
QA
9
.
59
.
C65
1983
کتابخانه
محل استقرار
شابک
شابک
038713901x
شماره کتابشناسی ملی
کد کشور
IR
شماره
20219
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Computation and proof theory
نام عام مواد
[Book]
ساير اطلاعات عنواني
: Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
نام نخستين پديدآور
/ edited by M. M. Richter ... [et al.]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer-Verlag
تاریخ نشرو بخش و غیره
, 1984.
مشخصات ظاهری
نام خاص و کميت اثر
viii, 475 p.
ساير جزييات
: 25 cm
فروست
عنوان فروست
(Lecture notes in mathematics
مشخصه جلد
: 1104)
يادداشت کلی
متن يادداشت
Language: English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
عنوانهای گونه گون دیگر
عنوان گونه گون
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computational complexity -- Congresses
موضوع مستند نشده
Proof theory -- Congresses
رده بندی کنگره
شماره رده
QA
9
.
59
نشانه اثر
.
C65
1983
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Richter, M. M., ed
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 9.59 .C65 1983
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
