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

عنوان
Logic programming : formal methods and practical applications

پدید آورنده
edited by Christoph Beierle, Lutz Plumer

موضوع
Logic programming

رده
QA
76
.
63
.
L63294
1995

کتابخانه

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



تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

O1

Logic programming : formal methods and practical applications

Amsterdam
Elsevier
1995

xiv, 404 p. : ill

Studies in computer science and artificial intelligence, 11

Includes bibliographical references

Logic programming

QA
76
.
63
.
L63294
1995

TI
edited by Christoph Beierle, Lutz Plumer

English

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

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