A computational logic /

Bibliographic Details

Main Author:	Boyer, Robert S.
Other Authors:	Moore, J Strother, 1947-
Format:	Book
Language:	English
Published:	New York : Academic Press, [1979]
Series:	ACM monograph series.
Subjects:	Automatic theorem proving.