Recording Proofs (1993)

by Wai Wong
Venue:University of Cambridge Computer Laboratory, New Museums Site