Next: The First Argonne Theorem
Up: Controlling Redundancy in Large Years
Previous: Large Search Spaces and
The first phase of Argonne theorem proving started in 1963. Over the following
seven years, two major systems were constructed. These systems supplied the
tools for the very first experiments with the new resolution principle, and
set the tradition of exploring the applicability of theorem proving to
problems in mathematics and logic.
Karen D. Toonen
1998-11-19