DMCA

A User-friendly Web-based Interface for Automatically Theorem Provers and for Automated Generated Proofs (2010)

by P. Höfner , M. E. Müller , S. Zeissler , D- Augsburg , Copyright P. Höfner , M. E. Müller , S. Zeissler , Universität Augsburg , Peter Höfner , Martin Eric Müller , Stephan Zeissler