عنوان
پدید آورنده
موضوع
رده
QA76.63 K737 1999
QA76
.
63
K737
1999
کتابخانه
محل استقرار
شابک
شابک
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
