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

 
COinS