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

عنوان
Techniques of Prolog programming : with implementation of logical negation and quantified goals

پدید آورنده
Van Le, T.

موضوع
Prolog )Computer program language( , Negation )Logic(

رده
QA
76
.
73
.
P76
V36
1993

کتابخانه

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



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

CE

Van Le, T.
Techniques of Prolog programming : with implementation of logical negation and quantified goals

New York
Wiley
1993

xviii, 601 p. : ill

Includes bibliographical references )p. 585-593( and index

Prolog )Computer program language(
Negation )Logic(

QA
76
.
73
.
P76
V36
1993

AU
T. van Le

English

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

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