Integrating Symbolic Mathematical Computation and Artificial Intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers | EKB DL