Integrating Computer Algebra into Proof Planning

Kerber M, Kohlhase M, Sorge V (1998)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 1998

Journal

Journal of Automated Reasoning Springer Verlag (Germany)

Book Volume: 21

Pages Range: 327-355

Journal Issue: 3

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-0032287894&origin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

University of Birmingham GB United Kingdom (GB)

How to cite

APA:

Kerber, M., Kohlhase, M., & Sorge, V. (1998). Integrating Computer Algebra into Proof Planning. Journal of Automated Reasoning, 21(3), 327-355.

MLA:

Kerber, Manfred, Michael Kohlhase, and Volker Sorge. "Integrating Computer Algebra into Proof Planning." Journal of Automated Reasoning 21.3 (1998): 327-355.

BibTeX: Download