Acronyms von A bis Z
LNCS958
-J. Caimet/J.A. Campbell (Eds.): Integrating Symbolic Mathematical Computation and Artificial Intelligence. Proceedings 1994, Springer-Verlag 1995
-J. Caimet/J.A. Campbell (Eds.): Integrating Symbolic Mathematical Computation and Artificial Intelligence. Proceedings 1994, Springer-Verlag 1995