date/time interval
- April 1, 2003 - March 31, 2007
Efficient representation of mathematical concepts in mechanized mathematics systems
Grant
- Overview
- Affiliation
- View All
Overview
awarded by
total award amount
- CAD 80000