(97-1003) Visualizing and Animating Proofs in the Mathematical Foundations of Computer Science

Contributors

Start/End

  • September 1, 1998 - August 31, 2002