نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
عنوان
<The> logical basis for computer programming
پدید آورنده
/ Zohar Manna, Richard Waldinger
موضوع
رده
QA76
.
6
،.
M36
1985
کتابخانه
كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
39
-
55420036
-
021
شماره کتابشناسی ملی
کد کشور
IR
شماره
19056
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
logical basis for computer programming
نام عام مواد
[Book]
نام نخستين پديدآور
/ Zohar Manna, Richard Waldinger
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Massachusetts
تاریخ نشرو بخش و غیره
, [c1985].
مشخصات ظاهری
نام خاص و کميت اثر
v.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographies
یادداشتهای مربوط به مندرجات
متن يادداشت
v. 1. Deductive reasoning -- v. 2 Deductive systems.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
programming(Electronic digital computers)
موضوع مستند نشده
Logic, Symbolic and mathematical
رده بندی ديویی
شماره
519
.
7
رده بندی کنگره
شماره رده
QA76
.
6
نشانه اثر
.
M36
1985
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Manna, Zohar.
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Waldinger, Richard, joint author
مبدا اصلی
کشور
ایران
سازمان
Central Library and Documentation Center
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد