Michael E. Clarkson. Intelligent User Interfaces for Symbolic and Numeric Computation. In Jacques Calmet, John A. Campbell, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Volume 737 of Lecture Notes in Computer Science, pages 96-106, Springer, 1992.
Abstract is missing.