عنوان
پدید آورنده
موضوع
رده
QA 9.9 .A9636 1993
QA
9
.
9
.
A9636
1993
کتابخانه
محل استقرار
شابک
شابک
0521441897
شماره کتابشناسی ملی
کد کشور
IR
شماره
11334
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Introduction to HOL
نام عام مواد
[Book]
ساير اطلاعات عنواني
: a theorem proving environment for higher order logic
نام نخستين پديدآور
/ edited by M.J.C. Gordon and T.F. Melham
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge, New York
نام ناشر، پخش کننده و غيره
: Cambridge University Press
تاریخ نشرو بخش و غیره
, 1993
مشخصات ظاهری
نام خاص و کميت اثر
xx, 472 p.
ساير جزييات
: ill.
ابعاد
; 23 cm
يادداشت کلی
متن يادداشت
English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. (441)-443) and index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving
موضوع مستند نشده
ML (Computer program language)
موضوع مستند نشده
HOL (Computer file)
رده بندی کنگره
شماره رده
QA
9
.
9
نشانه اثر
.
A9636
1993
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Gordon, Michael J. C., 1948-
مستند نام اشخاص تاييد نشده
Melham, T. F.(Tom F.)
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. Library of Technical Camp 2
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
