TY - BOOK ID - 2656064 TI - Principles and Practice of Constraint Programming - CP97 : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 AU - Smolka, Gert. AU - CP'97 PY - 1997 VL - 1330 SN - 3540637532 3540696423 9783540637530 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Constraint programming (Computer science) KW - Congresses. KW - Computer Science KW - Engineering & Applied Sciences KW - Congresses KW - -681.3*D1 KW - 681.3*D32 KW - 681.3*D33 KW - 681.3*I23 KW - 681.3*I24 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 - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) 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 - 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 - 681.3*D1 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:2656064 AB - This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997. The volume presents 37 revised full papers carefully selected from a total of 132 submissions; also included are the abstracts of two invited talks and three tutorials. The papers address all current aspects of constraint programming. Among the topics covered are constraint matching, constraint languages, set constraints, constraint search, constraint satisfaction problems, scheduling, constraint routing, temporal constraints, constraint graphs, local search, object-oriented constraint programming, etc. ER -