TY - BOOK ID - 5347062 TI - Principles and practice of constraint programming - CP 2001 : 7th International conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings AU - Walsh, Toby AU - International conference on principles and practice of constraint programming (07th : 2001 : Paphos) PY - 2001 VL - 2239 SN - 3540428631 9783540428633 3540455787 PB - Berlin: Springer, DB - UniCat KW - Constraint programming (Computer science) KW - Programmation par contraintes KW - Congresses. KW - Congrès KW - Computer Science KW - Engineering & Applied Sciences KW - 681.3*D1 KW - 681.3*D32 KW - 681.3*D33 KW - 681.3*F23 KW - 681.3*F24 KW - Computer programming KW - Programming techniques--See also {681.3*E} KW - language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) KW - Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) KW - Tradeoffs among complexity measures (Analysis of algorithms and problem complexity)--See also {681.3*F13} KW - Computerwetenschap--?*F24 KW - 681.3*F23 Tradeoffs among complexity measures (Analysis of algorithms and problem complexity)--See also {681.3*F13} KW - 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) KW - 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) KW - 681.3*D1 Programming techniques--See also {681.3*E} KW - Congrès KW - Computer science. KW - Software engineering. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Programming Techniques. KW - Programming Languages, Compilers, Interpreters. KW - Artificial Intelligence (incl. Robotics). KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Programming KW - Logic design. KW - Artificial Intelligence. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Constraint programming (Computer science) - Congresses KW - Programming languages (Electronic computers) KW - Logic, Symbolic and mathematical. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5347062 AB - This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001. The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields. ER -