Rehosting the Theorem Prover.
Boyer, R S, J. S. Moore · Defense Technical Information Center (DTIC) · 1984
This letter represents the annual summary report for the period June 1, 1983 to May 31, 1984. Two different research activities were pursued during this period: rehosting theorem prover onto several different computers and extending the formal logic supported by the system. (Author)