A computational logic
By: Robert S. Boyer and J Strother Moore.
Contributors: Moore, J. Strother, 1947- joint author.
Series: ACM monograph series; ACM monograph series.
Publisher: Academic Press
Published: 1979
Place of publication: New York
Language: eng
Number of pages: 397
Subjects: Automatic theorem proving
Notes: Bibliography: p. 385-387.
Includes index.