• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
Logic programming and Automated reasoning

پدید آورنده
Logic programming and Automated reasoning

موضوع
Logic programming

رده
QA
76
.
73
.
L6
1992

کتابخانه

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



تماس با کتابخانه : 03431312520

خریداری

02BL0000000002541
02BL0000000001905

انگلیسی
انگلیسی

Logic programming and Automated reasoning

Berlin
Springer-verlag
1992

XIV,509P.:table
, 1905 , 2-1

غیرمرجع

Bibliography

Logic programming

QA
76
.
73
.
L6
1992

Logic programming and Automated reasoning

edited by A.Voronkov

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال