عنوان
پدید آورنده
موضوع
رده
QA 9 .D68 2011
QA
9
.
D68
2011
کتابخانه
محل استقرار
شابک
شابک
9780857291202
شماره کتابشناسی ملی
کد کشور
IR
شماره
26653
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Proofs and Algorithms
نام عام مواد
[Book]
ساير اطلاعات عنواني
: an introduction to logic and computability
نام نخستين پديدآور
/ Gilles Dowek
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London; New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2011.
مشخصات ظاهری
نام خاص و کميت اثر
xii, 155 p.
ساير جزييات
: ill.
فروست
عنوان فروست
(Undergraduate topics in computer science)
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 151) and index
عنوانهای گونه گون دیگر
عنوان گونه گون
Introduction to logic and computability
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
Computer logic
موضوع مستند نشده
Proof theory
موضوع مستند نشده
Algorithms
رده بندی کنگره
شماره رده
QA
9
نشانه اثر
.
D68
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Dowek, Gilles
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 9 .D68 2011
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
