|
" Principles and Practice of Constraint Programming CP 2004 : "
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
970815
|
| Doc. No
|
:
|
b725185
|
| Main Entry
|
:
|
Wallace, Mark.
|
| Title & Author
|
:
|
Principles and Practice of Constraint Programming CP 2004 : : 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings.
|
| Publication Statement
|
:
|
Berlin ;Heidelberg :: Springer-Verlag Berlin Heidelberg,, 2004.
|
| Series Statement
|
:
|
Lecture Notes in Computer Science ;; 3258,
|
| Page. NO
|
:
|
1 online resource
|
| ISBN
|
:
|
3540302018
|
|
|
:
|
: 9783540302018
|
| Contents
|
:
|
Invited Papers -- Distinguished Papers -- Full Papers -- Short Papers -- Doctoral Papers -- Demonstrations.
|
| Abstract
|
:
|
This book constitutes the refereed proceedings of the 10th International Conference on Principles and Practice of Constraint Programming, CP 2004, held in Toronto, Canada, in September 2004. The 46 revised full papers and 16 revised short papers presented together with extended abstracts of 4 invited talks and 31 abstracts of contributions to the doctoral students program were carefully reviewed and selected from 158 submissions. A wealth of recent research results on computing with constraints is addressed ranging from foundational and methodological issues to solving real-world problems in various application fields.
|
| Subject
|
:
|
Artificial Intelligence (incl. Robotics)
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Computer Appl. in Administrative Data Processing.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Information systems.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Logics and Meanings of Programs.
|
| Subject
|
:
|
Mathematical Logic and Formal Languages.
|
| Subject
|
:
|
Programming Languages, Compilers, Interpreters.
|
| Subject
|
:
|
Programming Techniques.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Dewey Classification
|
:
|
005.11
|
| LC Classification
|
:
|
QA76.6-76.66
|
| |