عنوان
پدید آورنده
موضوع
رده
QA 9 .D66P7 2011
QA
9
.
D66P7
2011
کتابخانه
محل استقرار
شابک
شابک
9780857291202
شناسگر استاندارد دیگر
شماره استاندارد
767
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
نام نخستين پديدآور
Gilles Dowek
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London ;New York
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
xii, 155 p. , ill. , 24 cm.
فروست
عنوان فروست
Series: Undergraduate topics in computer science.
يادداشت کلی
متن يادداشت
Title
یادداشتهای مربوط به نسخه موجود
متن يادداشت
000
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references )p. 151( and index.
عنوان قراردادی
عنوان قراردادي
Proofs and algorithms
عنوانهای گونه گون دیگر
عنوان گونه گون
an introduction to logic and computability
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic, Symbolic and mathematical
عنصر شناسه ای
Algorithms
رده بندی ديویی
شماره
004
ويراست
D69P
نشانه اثر
.
015113
رده بندی کنگره
شماره رده
QA
نشانه اثر
9
شماره رکورد رده بندي
.
D66P7
شماره رکورد غير از شماره رده بندي
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Dowek, Gilles.
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
1
اطلاعات رکورد کتابشناسی
نوع ماده
English Book
اطلاعات دسترسی رکورد
سطح دسترسي
غیرمرجع
