Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence

Eugen E. Ardeleanu. Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence. In Jacques Calmet, John A. Campbell, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Volume 737 of Lecture Notes in Computer Science, pages 178-187, Springer, 1992.

Abstract

Abstract is missing.