Describes the Automated Reasoning Assistant (AURA) computer program at the Argonne National Laboratory. Given a set of initial assumptions (axioms) and a problem, AURA follows a logical path leading to a solution. Includes types of problems which can be solved. (JN)

Contends that the major use and promise of computer aided learning (CAL) lies in the provision of secondary teaching support such as simulations, interactive tutorials, and similar activities. Reviews the uses and benefits of CAL in demonstrations, experiments, exercises, and interactive tutorials. (ML)

Questions the differences between computer science and computer engineering. Reviews the body of knowledge pertaining to both fields. Asserts that they are essentially the same, and that computer science is a genuine intellectual discipline. (TW)

Although times seemed ripe for far-reaching initiatives to safeguard the quality of engineering education, current political noise about the issue threatens to drown out the engineering community's message. However, the engineering community's theme should be that economic growth in a modern economy, that industrial policy, is based first and…