عنوان
پدید آورنده
موضوع
رده
QA76.63 K737 1999
QA76
.
63
K737
1999
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642600859
(Number (ISBN
9783642600852
NATIONAL BIBLIOGRAPHY NUMBER
Number
b555593
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The Logic programming paradigm :
General Material Designation
[Book]
Other Title Information
a 25-year perspective
First Statement of Responsibility
K.R. Apt [and others] eds.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©1999.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(xvi, 456 pages) : illustrations
SERIES
Series Title
Artificial intelligence (Berlin, Germany)
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Logic programming.
Logisch programmeren.
Programmation logique.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Book number
K737
1999
PERSONAL NAME - PRIMARY RESPONSIBILITY
K.R. Apt [and others] eds.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Krzysztof R Apt
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
