Toward Sharing Libraries of Mathematics between Theorem Provers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Douglas J. Howe' in Google

runs on WebDSL