On a Hinge of History

Booknews

Papers of the meeting held in Argonne, Ill. May, 1988. They cover theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. No index. Long assuming themselves to be invulnerable to events in the developing countries, the industrialized countries are increasingly reaping the spillover of environmental deterioration, economic uncertainty, social turbulence, and political instability in the developing world. Head (retired president, the International Development Research Centre, Ottawa) explores the growing crisis of North-South inequities, and the breadth of its impact. Annotation c. Book News, Inc., Portland, OR (booknews.com)