You are about to access our book library "Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science, 1138) full version"
.