Integrating computer algebra with proof planning
Kerber M, Kohlhase M, Sorge V (1996)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 1996
Publisher: Springer Verlag
Book Volume: 1128
Pages Range: 204-215
ISBN: 9783540616979
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-21444434314&origin=inward
Authors with CRIS profile
Involved external institutions
United Kingdom (GB)How to cite
APA:
Kerber, M., Kohlhase, M., & Sorge, V. (1996). Integrating computer algebra with proof planning. In Proceedings of the 4th International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996 (pp. 204-215). Springer Verlag.
MLA:
Kerber, Manfred, Michael Kohlhase, and Volker Sorge. "Integrating computer algebra with proof planning." Proceedings of the 4th International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996 Springer Verlag, 1996. 204-215.
BibTeX: Download