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.
@inproceedings{KerberKS96,
title = {Integrating Computer Algebra with Proof Planning},
author = {Manfred Kerber and Michael Kohlhase and Volker Sorge},
year = {1996},
tags = { algebra},
researchr = {https://researchr.org/publication/KerberKS96},
cites = {0},
citedby = {0},
pages = {204-215},
booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20, 1996, Proceedings},
editor = {Jacques Calmet and Carla Limongelli},
volume = {1128},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61697-7},
}