عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Automated reasoning: introduction and applications
پدید آورنده
)by( Larry Wos )et al.(
موضوع
، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده
QA
76
.
9
.
A96
A93
1984
کتابخانه
کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد
محل استقرار
استان:
خراسان رضوی
ـ شهر:
مشهد
تماس با کتابخانه :
05138806503
9218
Automated reasoning: introduction and applications
Englewood Cliffs, N. J
Prentice - Hall
1984
xiv, 482p.: ill
Includes bibliographies and index
)by( Larry Wos )et al.(
، Automatic theorem proving
، Artificial intelligence
Programming ، Electronic digital computers
QA
76
.
9
.
A96
A93
1984
TI
AU Wos, Larry
CL
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح