An implementation of "Theorem proving with lemmas"
M.S. in Computer Science
University of Missouri--Rolla
vii, 84 pages
© 1991 Christopher J. Merz, All rights reserved.
Thesis - Citation
Print OCLC #
Link to Catalog Record
Full-text not available: Request this publication directly from Missouri S&T Library or contact your local library.http://merlin.lib.umsystem.edu/record=b2334419~S5
Merz, Christopher J., "An implementation of "Theorem proving with lemmas"" (1991). Masters Theses. 958.
Share My Thesis If you are the author of this work and would like to grant permission to make it openly accessible to all, please click the button above.