Masters Theses

Title

An implementation of "Theorem proving with lemmas"

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

© 1991 Christopher J. Merz, All rights reserved.

Document Type

Thesis - Citation

File Type

text

Language

English

Thesis Number

T 6217

Print OCLC #

24436651

Link to Catalog Record

Full-text not available: Request this publication directly from Missouri S&T Library or contact your local library.

http://laurel.lso.missouri.edu/record=b2334419~S5

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.

Share

 
COinS