Cover Image

A computational logic /

Show other versions (1)
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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A96 B68
 
Call Number Status Get It
QA76.9.A96 B68 Available