Visualizing and Animating Proofs in the Mathematical Foundations of Computer Science
Research Grant
Awarded By
Division of Undergraduate Education
Start Date
September 1, 1998
End Date
August 31, 2002
Awarded By
Division of Undergraduate Education
Start Date
September 1, 1998
End Date
August 31, 2002