نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Reasoning with logic programming
پدید آورنده
Alferes, Jose Julio
موضوع
، Logic programming,، Reasoning
رده
QA
76
.
L28
Vol
.
1111
کتابخانه
کتابخانه پژوهشگاه دانشهای بنیادی
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
22291812
-
021
عنوان و نام پديدآور
عنوان اصلي
Reasoning with logic programming
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
c1996
مشخصات ظاهری
نام خاص و کميت اثر
]xxi[, 326 p
فروست
ساير اطلاعات عنواني
Lecture notes in computer science; 1111. Lecture notes in artificial intelligence
يادداشت کلی
متن يادداشت
Bibliography: p.]271[-281
متن يادداشت
ISBN 3540614885
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Jose Julio Alferes, Luis Moniz Pereira
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic programming
عنصر شناسه ای
، Reasoning
رده بندی کنگره
شماره رده
QA
76
.
L28
Vol
.
1111
سایر رده بندی ها
شماره رده
CA
شماره رده
006
.
3/3
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Alferes, Jose Julio
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Pereira, Luis Moniz
عنصر شناسه اي
TI
عنصر شناسه اي
TI Logic programming
عنصر شناسه اي
SE Lecture notes in computer science 1111
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد