نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
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
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد