عنوان
پدید آورنده
موضوع
رده
QA76.612 .F78 2003
QA76
.
612
.
F78
2003
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540676236
(Number (ISBN
3642087124
(Number (ISBN
9783540676232
(Number (ISBN
9783642087127
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
bnb
Number
b433942
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Essentials of constraint programming /
General Material Designation
[Book]
First Statement of Responsibility
Thom Frühwirth, Slim Abdennadher
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 144 pages ;
Dimensions
24 cm
SERIES
Series Title
Cognitive technologies
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 137-140) and index
CONTENTS NOTE
Text of Note
1. Introduction -- Part I. Constraint programming -- 2. Algorithm = logic + control -- 3. Preliminaries of syntax and semantics -- 4. Logic programming -- 5. Constraint logic programming -- 6. Concurrent constraint logic programming -- 7. Constraint handling rules -- Part II. Constraint systems -- 8. Constraint systems and constraint solvers -- 9. Boolean algebra B -- 10. Rational trees RT -- 11. Linear polynomial equations -- 12. Finite domains FD -- 13. Non-linear equations I -- Part III. Applications -- 14. Market overview -- 15. Optimal sender placement for wireless communication -- 16. The Munich rent advisor -- 17. University course timetabling -- Part IV. Appendix -- A. Foundations from logic
0
TOPICAL NAME USED AS SUBJECT
Constraint programming (Computer science)
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/1
Edition
21
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
612
Book number
.
F78
2003
PERSONAL NAME - PRIMARY RESPONSIBILITY
Frühwirth, Thom,1962-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Abdennadher, Slim,1967-
ORIGINATING SOURCE
Date of Transaction
20160712071805.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
