AI Genealogy Project :: Owen Astrachan

[ home | news | mission | about | submit | schools | staff | links | faq | recently | my account ]

Owen L. Astrachan

• Ph.D in 1992 from Duke University
  Thesis: Investigations in Model Elimination Based Theorem Proving

Advisors

• Donald W. Loveland

Options

• edit name or biographical link
• edit MGP link
• add, edit, or delete a degree (thesis, school, year)
• add, edit, or delete an alias or AKA
• add or remove a student or advisor link