Using sophisticated models in resolution theorem proving
By: David M. Sandford.
Series: Lecture notes in computer science ;; 90
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin; New York
Language: eng
Number of pages: 239
Subjects: Automatic theorem proving.; Mathematics -- Data processing.
Notes: Bibliography: p. [229]-233.
Revision of thesis (Ph. D.).
Includes index.