A computational logic /
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Group Author: | |
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 |