Automated reasoning series
ShareCopied to clipboardAutomated reasoning series is a book series. It includes 3 books, written by 3 different authors.
Key facts
- number of authors: 3 people
- number of books: 3
- books: Automated development of fundamental mathematical theories, Piton : a mechanically verified assembly-level language, Resolution proof systems : an algebraic theory
- authors: Art Quaife, J. Strother Moore, Zbigniew Stachniak
- publication dates: 1992, 1996, 1996
- book publishers: Kluwer Academic, Kluwer Academic Publishers
See more factsExtract data
Download datasets about Automated reasoning series:
Dataset of books in the Automated reasoning series series
"Automated reasoning series" is one of the 88,457 book series in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.