Some new results on resolution in automated theorem proving
By: by Lawrence J. Henschen.
Published: 1968
Place of publication: Urbana
Language: eng
Number of pages: 23
Subjects: Mathematics -- Data processing.; Automatic theorem proving.; Functions.
Notes: Bibliography: leaf 23.
"Supported in part by the National Science Foundation under Grant no. NSF-GP-4636."
Issued also as thesis (M.S.) University of Illinois.