TY - BOOK ID - 5451143 TI - Principles and practice of constraint programming - CP 2006 : 12th International conference, CP 2006, Nantes, France, September 2006 : proceedings AU - Benhamou, Frédéric AU - International conference on principles and practice of constraint programming (12th : 2006 : Nantes, France) PY - 2006 VL - 4204 SN - 03029743 SN - 9783540462675 3540462678 3540462686 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 - Information Technology KW - Computer Science (Hardware & Networks) 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. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5451143 AB - ER -