Skip to main content
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

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