release_alert

Welcome to the new Scholars 3.0! Read about new features and let us know what you think.

cancel

Enhancing the Performance of the Model Elimination Proof Procedure

Research Grant

Duke Scholars

Co-Principal Investigator Owen L. Astrachan Computer Science

Awarded By

National Science Foundation

Start Date

July 15, 1996

End Date

June 30, 1998

Awarded By

National Science Foundation

Start Date

July 15, 1996

End Date

June 30, 1998