Symbolic Computation and Teaching

Dana S. Scott. Symbolic Computation and Teaching. In Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Volume 1138 of Lecture Notes in Computer Science, pages 1-20, Springer, 1996.

Abstract

Abstract is missing.