Visualizing and Animating Proofs in the Mathematical Foundations of Computer Science

Awarded By

Contributors

Start/End

  • September 1, 1998 - August 31, 2002