عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:0198537816 (v. 5)
شماره کتابشناسی ملی
شماره
34201
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Handbook of Logic in Computer Science
نام عام مواد
[electronic resources]
نام ساير پديدآوران
Edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford :
نام ناشر، پخش کننده و غيره
: Clarendon Press; New York: Oxford University Press
تاریخ نشرو بخش و غیره
, 2000
مشخصات ظاهری
نام خاص و کميت اثر
v.
ساير جزييات
:ill.
ابعاد
;25 cm.
يادداشت کلی
متن يادداشت
Cataloging Based on v.5.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
یادداشتهای مربوط به مندرجات
متن يادداشت
v. 5. Logic and algebraic methods
بدون عنوان
1
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
علوم کامپیوتر
موضوع مستند نشده
منطق ریاضی
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Abramsky, Samson,1953-
مستند نام اشخاص تاييد نشده
Gabbay, Dov M.,1945-
مستند نام اشخاص تاييد نشده
Maibaum, Thomas S. E.,1947-
مبدا اصلی
کشور
ایران
تاريخ عمليات
20180515091632.0
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
0198537816v5.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy0606/92000510-d.html
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy0606/92000510-t.html
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
N
