New methods in finite first-order model search
M.S. in Computer Science
University of Missouri--Rolla
viii, 38 pages
© 1996 Olga Shumsky, 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=b3006225~S5
Shumsky, Olga, "New methods in finite first-order model search" (1996). Masters Theses. 1539.
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.