The expected space and time complexity of refinements of resolution theorem proving procedures
By: by J. Dennis Lawrence.
Published: 1976
Language: eng
Number of pages: 209
Subjects: Logic, Symbolic and mathematical.
Notes: Thesis--Washington State University.

Bibliography : leaves 93-101.

WSU:Another copy on microfilm, no. 1798.

WSU:"Department of Computer Science"