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

عنوان
The Logic programming paradigm :

پدید آورنده
K.R. Apt [and others] eds.

موضوع
Logic programming.,Logisch programmeren.,Programmation logique.

رده
QA76
.
63
K737
1999

کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی

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

کتابخانه مطالعات اسلامی به زبان های اروپایی

تماس با کتابخانه : 32910706-025

3642600859
9783642600852

b555593

The Logic programming paradigm :
[Book]
a 25-year perspective
K.R. Apt [and others] eds.

Berlin ; New York
Springer
©1999.

(xvi, 456 pages) : illustrations

Artificial intelligence (Berlin, Germany)

Preface --;Part I. Computing and Programming: Concurrent and Agent Programming. Program Analysis and Methodology. Future of Declarative Programming. Continuous Mathematics --;Part II. Knowledge Representation and Modeling: Constraints; Machine Learning; Answer Set Programming; Database Systems; Natural Language Processing.

They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing.

Logic programming.
Logisch programmeren.
Programmation logique.

QA76
.
63
K737
1999

K.R. Apt [and others] eds.

Krzysztof R Apt

 مطالعه متن کتاب 

[Book]

Y

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

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