Automated theorem proving
Subtitle: a logical basis
By: Donald W. Loveland.
Series: Fundamental studies in computer science ;; 6
Publisher: North-Holland Pub. Co.; sole distributor for the U.S.A. and Canada, Elsevier North-Holland
Published: 1978
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 405
Subjects: Automatic theorem proving.
Notes: Bibliography: p. [395]-399.
Includes index.