نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Handbook of logic in computer science
پدید آورنده
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
موضوع
، Computer science,، Logic, Symbolic and mathematical
رده
QA
76
.
H27
1992
کتابخانه
کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان
محل استقرار
استان:
کرمان
ـ شهر:
كرمان
تماس با کتابخانه :
03433257204
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
عنوان اصلي
Handbook of logic in computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford, New York
نام ناشر، پخش کننده و غيره
Clarendon Press, Oxford University Press
تاریخ نشرو بخش و غیره
1992-
مشخصات ظاهری
نام خاص و کميت اثر
v. <1-2 >: ill.; 25 cm
ساير جزييات
1
ساير جزييات
1
ساير جزييات
2
ساير جزييات
2
يادداشت کلی
متن يادداشت
Includes bibliographical references and indexes
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
یادداشتهای مربوط به دسترسی موضوعی
متن يادداشت
R
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
متن يادداشت
2
متن يادداشت
1
متن يادداشت
2
یادداشتهای مربوط به مندرجات
متن يادداشت
v. 1. Background, mathematical structure -- v. 2. Background, computational structure
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer science
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
H27
1992
سایر رده بندی ها
شماره رده
CA
شماره رده
004
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Abramsky 1953-
عنصر شناسه اي
AU Gabbay 1945-
عنصر شناسه اي
AU Maibaum 1947-
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد