Summary: CS--1992--21
Investigations in Model Elimination based
Theorem Proving
Owen L. Astrachan
Department of Computer Science
Duke University
Durham, North Carolina 27708­0129
December 8, 1992

Investigations
in
Model Elimination Based
Theorem Proving
Owen L. Astrachan
December 8, 1992
Supervised by Donald W. Loveland
Dissertation submitted in partial fulfillment
of the requirements for the degree
of Doctor of Philosophy
in the Department of Computer Science

Source: Astrachan, Owen - Department of Computer Science, Duke University

Collections: Computer Technologies and Information Sciences