شابک
شابک
0387237593 (hardback : acid-free paper)
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-54256
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Adapting proofs-as-programs
نام عام مواد
[Book]
ساير اطلاعات عنواني
:the Curry-Howard protocol
نام نخستين پديدآور
/ Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, c2005.
مشخصات ظاهری
نام خاص و کميت اثر
xi, 420 p. , ill. , 24 cm.
فروست
عنوان فروست
(Monographs in computer science)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. [407]-416) and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Curry-Howard isomorphism
موضوع مستند نشده
Proof theory
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
Functional programming (Computer science
موضوع مستند نشده
Lambda calculus
موضوع مستند نشده
Abstract data types (Computer science
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Poernomo, Iman Hafiz,1976-
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Crossley, John N
مستند نام اشخاص تاييد نشده
Wirsing, M.(Martin)
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
9780387237596.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
9780387237596.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
