نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Formal methods in artificial intelligence
پدید آورنده
Delahaye, Jean-Paul
موضوع
Methodology ، Artificial intelligence,Data processing ، Artificial intelligence
رده
Q
335
.
D4513
1987
کتابخانه
کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد
محل استقرار
استان:
خراسان رضوی
ـ شهر:
مشهد
تماس با کتابخانه :
05138806503
شناسگر استاندارد دیگر
شماره استاندارد
15765
عنوان و نام پديدآور
نام نخستين پديدآور
Delahaye, Jean-Paul
عنوان اصلي
Formal methods in artificial intelligence
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Wiley
تاریخ نشرو بخش و غیره
c1987
مشخصات ظاهری
نام خاص و کميت اثر
vii, 205p
يادداشت کلی
متن يادداشت
"A Halsted Press book"
متن يادداشت
"Based on a course of lectures given at the University of Lille." Introd
متن يادداشت
Translation of: outils logiques pour l'intelligence artificielle
متن يادداشت
Includes bibliographies
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
by J.-P. Delahaye; translated by J.Howlett; forword by Maurice Nivat
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Methodology ، Artificial intelligence
عنصر شناسه ای
Data processing ، Artificial intelligence
رده بندی کنگره
شماره رده
Q
335
.
D4513
1987
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
شماره دستیابی
پسوند شماره بازيابي
CL
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد