Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.

Computer science. --- Algorithms. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Mathematics of Computing. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algorism --- Informatics --- Mathematics --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algebra --- Arithmetic --- Science --- Foundations --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Constraint programming (Computer science) --- Computers --- Data processing. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

All Basque interpretations of national power have resulted in an uneasy mix of often fragmented and conflicting territorial identifications. Basques can identify themselves with France, Spain or an imagined Basque nation state. Territory and Terror confronts the imagined and actual territorial dimensions of nationalism, shedding new light on the Basque conflict. The study provides a rich description of territoriality analysed from a comparative perspective and explores the relation between territoriality and regional differences in conflict intensity. It supplies an

Nationalism --- Consciousness, National --- Identity, National --- National consciousness --- National identity --- International relations --- Patriotism --- Political science --- Autonomy and independence movements --- Internationalism --- Political messianism --- País Vasco (Spain) --- Pays Basque (France) --- Basque (France) --- Basque Country (France) --- Basque Provinces (France) --- Politics and government --- Spain --- Baskenland (Spanje) --- France --- Pays basque (France) --- 20th century --- Pais Vasco (Spain)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Performing arts

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Griekse taal --- Vertaling.