عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
The automation of reasoning : an experimenters notebook with OTTER tutorial
پدید آورنده
Wos, Larry.
موضوع
Automatic theorem proving
رده
QA
76
.
9
.
A96
W68
1996
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
CE
Wos, Larry.
The automation of reasoning : an experimenters notebook with OTTER tutorial
Boston
Academic Press
1996
xiv, 434 p. : ill. + 1 computer disk
Includes bibliographical references )p. 419-421( and index
Automatic theorem proving
QA
76
.
9
.
A96
W68
1996
AU
Larry Wos
English
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح