Constraint satisfaction in logic programming
0
Type: Book
"49" Result
Sort By:
Cognitive science and mathematics education
0
Type: Book
This work describes the enforcement powers that states may use to repress piracy in the Gulf of Aden region. The piracy rules of the United Nations Convention on the Law of the Sea and the legal safeguards applicable to maritime interception operations are scrutinized before the…
"The United Nations Security Council has primary responsibility for maintaining international peace and security. In discharging its powers it must act in accordance with the Purposes and Principles of the UN, and observe the rules governing voting and procedure established in t…
"The United Nations Security Council has primary responsibility for maintaining international peace and security. In discharging its powers it must act in accordance with the Purposes and Principles of the UN, and observe the rules governing voting and procedure established in t…
"This book explores the language used by the United Nations Resolutions on the Question of Palestine. The corpus used in this analysis includes sixty-six Security Council Resolutions (2965 words) and forty General Assembly Resolutions (2529 words) from 1948 to 2006 related to th…
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invi…