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)

This discussion of computers and their place in the field of engineering technology begins with an outline of the historical development and significance of computers, tracing advancements from the first generation of computers, which began to be produced in 1946, to current third-generation models; reviewing the current state of the art in…

This paper presents an overview of the fundamental characteristics of the teaching and learning environment of a computer language class course designed for college-level engineering and computer science education. Characteristics include training teachers, student evaluation, learning environment, and integrating disciplines. (Contains 16…

This document promotes computer symbolic mathematics and computer algebra as ideal instructional materials for mathematics, science, and engineering students. Further, computer algebra is viewed as appropriate for all students throughout the mathematics curriculum, by serving a vast area of mutual reinforcement and cross-motivation between…

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…