You are about to access our book library "Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers full version" .