A computational logic handbook
By: Robert S. Boyer, J Strother Moore.
Contributors: Moore, J Strother, 1947-
Series: Perspectives in computing ;; vol. 23; Perspectives in computing (Boston, Mass.) ;; vol. 23.
Publisher: Academic Press; Academic Pr
Published: 1988
Place of publication: Boston
Language: eng
Number of pages: 408
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 397-399.
Includes index.