عنوان
پدید آورنده
موضوع
رده
E-B00k,
E-B00k
,
کتابخانه
محل استقرار
شابک
شابک
:9783319516516
شماره کتابشناسی ملی
شماره
27579
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Applied logic for computer scientists.
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: Computational Deduction and Formal Proofs
نام نخستين پديدآور
\ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, NY
نام ناشر، پخش کننده و غيره
: Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
, 2017.
مشخصات ظاهری
نام خاص و کميت اثر
xviii, 150 p.
فروست
عنوان فروست
Undergraduate topics in computer science
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science
عنصر شناسه ای
Computer logic
عنصر شناسه ای
کامپیوتر
عنصر شناسه ای
منطق کامپیوتری
داده رابط بین فیلدها
a01
داده رابط بین فیلدها
a03
داده رابط بین فیلدها
a01
داده رابط بین فیلدها
a03
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-B00k
,
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Ayala-Rincón, Mauricio
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Moura, Flávio L. C. de
مبدا اصلی
کشور
ایران
تاريخ عمليات
20190123074221.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319516516.pdf
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
N
