A computational logic handbook /

Bibliographic Details

Main Author:	Boyer, Robert S.
Other Authors:	Moore, J Strother, 1947-
Format:	Book
Language:	English
Published:	Boston : Academic Press, [1988]
Series:	Perspectives in computing (Boston, Mass.) ; v. 23.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical.