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