This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

International Education at the Crossroads captures the essence and complexity of international education in an interconnected and globalized world. Written by leading scholars, international educators, and policy makers, the 26 essays in this volume take stock of the unpredictable landscape of international education and demonstrate why international higher education is more essential now than ever before. Responding to a timely global moment where education and international engagement are being redefined and practiced in new ways, the authors call for a reconsideration of paradigms and critical reflection of the entire field of international education. At the same time, the authors show how international education is an imperative for the future of learning and the world, and also, crucially, that this work cannot be done in a silo. International Education at the Crossroads offers readers a chance to join in the conversation that is as global as it is meaningful in communities, the lives of learners, and institutions around the world. International education requires that everyone the world over work together to produce new knowledge, to navigate the "crossroads," and to collectively chart the directions in which the field will move into the future.