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

عنوان
Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop

پدید آورنده
edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian

موضوع
Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning

رده
QA
76
.
63
.
I5
1991

کتابخانه
کتابخانه پژوهشگاه دانشهای بنیادی

محل استقرار
استان: تهران ـ شهر: تهران

کتابخانه پژوهشگاه دانشهای بنیادی

تماس با کتابخانه : 22291812-021

عنوان و نام پديدآور

عنوان اصلي
Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
نام نخستين پديدآور
edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian

وضعیت ویراست

نام نخستين ويراستار
1st: 1991: Washington, D.C.

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
The MIT Press
تاریخ نشرو بخش و غیره
c1991

مشخصات ظاهری

نام خاص و کميت اثر
vi, 288p.: ill

يادداشت کلی

متن يادداشت
Proceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for logic programming, and others
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 0262640279

یادداشت های مربوط به نسخه اصلی

متن يادداشت
1

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
Congresses ، Logic programming
عنصر شناسه ای
Congresses ، Nonmonotonic reasoning

رده بندی کنگره

شماره رده
QA
76
.
63
.
I5
1991

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

کد نقش
AU

نام / عنوان به منزله شناسه افزوده

عنصر شناسه اي
AU Nerode, Anil, 1932-
عنصر شناسه اي
AU Marek, Wiktor
عنصر شناسه اي
AU Subrahmanian, V. S.
عنصر شناسه اي
CO Association for Logic Programming
عنصر شناسه اي
TI

نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )

عنصر شناسه اي
International Workshop on Logic Programming and Non-monotonic Reasoning

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

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