Handbook of practical logic and automated reasoning
ShareCopied to clipboardHandbook of practical logic and automated reasoning is a book. It was written by John Harrison and published by Cambridge University Press in 2009.
Key facts
- author: John Harrison
- publication date: 2009
- book publisher: Cambridge University Press
- book series: unknown
- book subjects: Computer logic
See more factsExtract data
Download datasets about Handbook of practical logic and automated reasoning:
Dataset of books series that contain Handbook of practical logic and automated reasoning
"Handbook of practical logic and automated reasoning" is one of the books by John Harrison, books by Cambridge University 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.