Combining Computer Algebra and Rule Based Reasoning

Reinhard Bündgen. Combining Computer Algebra and Rule Based Reasoning. In Jacques Calmet, John A. Campbell, editors, Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers. Volume 958 of Lecture Notes in Computer Science, pages 209-223, Springer, 1994.

Authors

Reinhard Bündgen

This author has not been identified. Look up 'Reinhard Bündgen' in Google