dblp Mathprobe: Active MathematicaI Dictionary Carolyn R. Watters | Jack Ho Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications) - RIAO 1994, 4th International Conference, Rockefeller University, NY, USA, October 11-13, 1994. Proceedings