• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • إختر اللغة
    • فارسی
    • English
    • العربی

عنوان
logic program synthesis and transformation

پدید آورنده
logic program synthesis and transformation

موضوع
Logic programming

رده
QA
76
.
63
.
L6
1993

کتابخانه

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



تماس با کتابخانه : 20-31312512-034

خریداری

02BL0000000002605

انگلیسی

logic program synthesis and transformation

Berlin
Springer-Verlag
1993

270P.:diagram,Table
, 2605 , 2-1

غیرمرجع

Bibliography

Logic programming

QA
76
.
63
.
L6
1993

logic program synthesis and transformation

Edited by kung-Kiu Lau

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

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