عنوان
پدید آورنده
موضوع
رده
QA۷۶/۷۶ /الف۶م۷ ۱۳۸۰
QA
۷۶
/
۷۶
/
ال
ف
۶
م
۷ ۱۳۸۰
کتابخانه
محل استقرار
شابک
شابک
0262632950
شماره کتابشناسی ملی
شماره
ج۱۹/۸
عنوان و نام پديدآور
عنوان اصلي
Mechanizing proof: computing, risk, and trust
نام نخستين پديدآور
/ Donald MacKenzie
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
: The MIT Press
تاریخ نشرو بخش و غیره
, 2001 = 1380.
مشخصات ظاهری
نام خاص و کميت اثر
xi، ۴۲۷ ص.
ساير جزييات
م‍ص‍ور، ج‍دول، ن‍م‍ودار
فروست
عنوان فروست
(Inside technology)
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
کتابنامه: ص. [۳۳۵]-۴۱۸
یادداشتهای مربوط به مندرجات
متن يادداشت
Machine generated contents note: 1 -- Knowing Computers 1 -- 2 -- Boardwalks across the Tar Pit 23 -- 3 -- Artificial Mathematicians? 63 -- 4 -- Eden Defiled 101 -- S -- Covert Channels 151 -- 6 -- Social Processes and Category Mistakes 197 -- 7 -- Clocks and Chips 219 -- 8 -- Logics, Machines, and Trust 257 -- 9 -- Machines, Proofs, and Cultures 299 -- Notes 335 -- Index 419.
آوانویسی عنوان
آوانویسی عنوان
م‍ک‍ان‍ای‍زی‍ن‍گ پ‍روف: ک‍ام‍پ‍ی‍وت‍ی‍ن‍گ...
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
س‍ی‍س‍ت‍م‍ه‍ای کامپیوتری -- اطم‍ی‍ن‍ان پ‍ذی‍ری
موضوع مستند نشده
ک‍ام‍پ‍ی‍وت‍ره‍ا وت‍م‍دن
رده بندی ديویی
شماره
۰۰۴
/
۲۱
رده بندی کنگره
شماره رده
QA
۷۶
/
۷۶
نشانه اثر
/
ال
ف
۶
م
۷ ۱۳۸۰
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
م‍ک‍ن‍زی، دون‍ال‍د
مستند نام اشخاص تاييد نشده
MacKenzie, Donald A.
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
