A computational logic /

Saved in:
Bibliographic Details
Main Author: Boyer, Robert S.
Other Authors: Moore, J. Strother, 1947- (joint author.)
Format: Book
Language:English
Published: New York : Academic Press, c1979.
Series:ACM monograph series
Subjects:

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AH06B0 B04032
Copy 1 Available  Place a Hold