A computational logic [electronic resource] / Robert S. Boyer and J Strother Moore.

Saved in:

Bibliographic Details
Online Access:	Full Text (via ScienceDirect)
Main Authors:	Boyer, Robert S., Moore, J Strother, 1947- (Author)
Format:	Electronic eBook
Language:	English
Published:	New York : Academic Press, ©1979.
Series:	ACM monograph series.
Subjects:	Automatic theorem proving.

Internet

Holdings details from Online
Call Number:	QA76.9.A96 B68
QA76.9.A96 B68	Available