DYNABOARD: User Animated Display of Deductive Proofs in Mathematics

Marc Kaltenbach, Claude Frasson. DYNABOARD: User Animated Display of Deductive Proofs in Mathematics. International Journal of Man-Machine Studies, 30(2):149-170, 1989.

Abstract

Abstract is missing.