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.
No references recorded for this publication.
No citations of this publication recorded.