Project Details
Description
Supporting Higher-Order Approaches to Symbolic Computation
Status | Finished |
---|---|
Effective start/end date | 9/1/04 → 8/31/09 |
Funding
- THE NATIONAL SCIENCE FOUNDATION
Project: Research project
Status | Finished |
---|---|
Effective start/end date | 9/1/04 → 8/31/09 |