A computer system for checking proofs
ShareCopied to clipboardA computer system for checking proofs is a book. It was written by Scott D. Johnson and published by Bowker in 1982.
Key facts
- author: Scott D. Johnson
- publication date: 1982
- book publisher: Bowker
- book series: Computer science. Artificial intelligence
- book subjects: Computer programs-Verification
See more factsExtract data
Download datasets about A computer system for checking proofs:
Dataset of books series that contain A computer system for checking proofs:
Dataset of book subjects that contain A computer system for checking proofs:
"A computer system for checking proofs" is one of the books by Scott D. Johnson, books by Bowker 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.