A computational logic /

Saved in:
Bibliographic Details
Main Authors: Boyer, Robert S.
Corporate Authors: Elsevier Science & Technology.
Group Author: Moore, J Strother, 1947-
Published: Academic Press,
Publisher Address: New York :
Publication Dates: 1979.
Literature type: eBook
Language: English
Series: ACM monograph series
Subjects:
Online Access: http://www.sciencedirect.com/science/book/9780121229504
Carrier Form: 1 online resource (xiv, 397 pages).
Bibliography: Includes bibliographical references (pages 385-387) and index.
ISBN: 9780121229504
0121229505
9781483277882
1483277887
9781322470108
1322470103
Index Number: QA76
CLC: TP311