Resolution proof systems : an algebraic theory
ShareCopied to clipboardResolution proof systems : an algebraic theory is a book. It was written by Zbigniew Stachniak and published by Kluwer Academic in 1996.
Key facts
- author: Zbigniew Stachniak
- publication date: 1996
- book publisher: Kluwer Academic
- book series: Automated reasoning series
- book subjects: Logic, Symbolic and mathematical, Artificial intelligence, Automatic theorem proving
See more factsExtract data
Download datasets about Resolution proof systems : an algebraic theory:
Dataset of books series that contain Resolution proof systems : an algebraic theory
"Resolution proof systems : an algebraic theory" is one of the books by Zbigniew Stachniak, books by Kluwer Academic 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.