عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Introduction to HOL : a theorem proving environment for higher order logic
پدید آورنده
edited by M.J.C. Gordon and T.F. Melham
موضوع
Automatic theorem proving,ML (Computer program language),HOL (Computer file)
رده
QA
9
.
9
.
A9636
1993
کتابخانه
کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
61112227، 61112854 ، 61113031
لاتين
edited by M.J.C. Gordon and T.F. Melham
Introduction to HOL : a theorem proving environment for higher order logic
Cambridge, New York
Cambridge University Press
1993
xx, 472 p. : ill. ; 23 cm
مرجع به حساب نمي آيد
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.
Melham, T. F.(Tom F.)
1948-
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح