Integrating Computer Algebra with Proof Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra with Proof Planning. In Jacques Calmet, Carla Limongelli, editors, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20, 1996, Proceedings. Volume 1128 of Lecture Notes in Computer Science, pages 204-215, Springer, 1996.

This author has not been identified. Look up 'Manfred Kerber' in GoogleThis author has not been identified. Look up 'Michael Kohlhase' in GoogleThis author has not been identified. Look up 'Volker Sorge' in Google

runs on WebDSL