Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
CS--1992--21 Investigations in Model Elimination based
 

Summary: CS--1992--21
Investigations in Model Elimination based
Theorem Proving
Owen L. Astrachan
Department of Computer Science
Duke University
Durham, North Carolina 277080129
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