AI Genealogy Project :: Degrees

Degrees of Owen L. Astrachan

→ New Degree

degree year school thesis
Ph.D 1992 Duke University Investigations in Model Elimination Based Theorem Proving