Masters Theses

New methods in finite first-order model search

Olga Shumsky

Department(s)

Computer Science

Degree Name

M.S. in Computer Science

Publisher

University of Missouri--Rolla

Publication Date

Spring 1996

Pagination

viii, 38 pages

Rights

© 1996 Olga Shumsky, All rights reserved.

Document Type

Thesis - Citation

File Type

text

Language

English

Thesis Number

T 7137

Print OCLC #

35365569

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=b3006225~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