• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
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

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال