Douglas J. Howe. Toward Sharing Libraries of Mathematics between Theorem Provers. In Dov M. Gabbay, Maarten de Rijke, editors, Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings. pages 161-176, Research Studies Press/Wiley, 1998.
@inproceedings{Howe98-0,
title = {Toward Sharing Libraries of Mathematics between Theorem Provers},
author = {Douglas J. Howe},
year = {1998},
researchr = {https://researchr.org/publication/Howe98-0},
cites = {0},
citedby = {0},
pages = {161-176},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
editor = {Dov M. Gabbay and Maarten de Rijke},
publisher = {Research Studies Press/Wiley},
}