عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
حول الموقع
اتصل بنا
نشأة
ورود / ثبت نام
عنوان
Analogy for automated reasoning
پدید آورنده
/ Stephen owen
موضوع
Automatic theovem proving,Artificial intelligence,Analogy
رده
کتابخانه
سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
88644104
-
021
M76-10649
Analogy for automated reasoning
/ Stephen owen
Boston
: Academic Press
, C1990.
xv, 235 P, illus
(Perspctives in artificiail intelligence, V.9)
Includes bibliographical refernces (P. 227 - 230)
Automatic theovem proving
Artificial intelligence
Analogy
QA76
9
.
A69094
Owen, Stephen (stephen G)
old cataloging
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح