Masters Theses

An implementation of "Theorem proving with lemmas"

Christopher J. Merz, Missouri University of Science and TechnologyFollow

Department(s)

Computer Science

Degree Name

M.S. in Computer Science

Publisher

University of Missouri--Rolla

Publication Date

Spring 1991

Pagination

vii, 84 pages

Rights

Document Type

Thesis - Citation

File Type

text

Language

English

Thesis Number

T 6217

Print OCLC #

24436651

Recommended Citation

Merz, Christopher J., "An implementation of "Theorem proving with lemmas"" (1991). Masters Theses. 958.
https://scholarsmine.mst.edu/masters_theses/958

This document is currently not available here.

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.

COinS