A computational logic
ShareCopied to clipboardA computational logic is a book. It was written by Robert S. Boyer and published by Academic Press in 1979.
Key facts
- author: Robert S. Boyer
- publication date: 1979
- book publisher: Academic Press
- book series: unknown
- book subjects: Automatic theorem proving
See more factsExtract data
Download datasets about A computational logic:
Dataset of books series that contain A computational logic:
Dataset of book subjects that contain A computational logic:
"A computational logic" is one of the books by Robert S. Boyer, books by Academic Press and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.