Resolution proof systems
Artificial intelligenceAutomatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical Logic
Browse all genres - ISBN
- 0792340175
Resolution proof systems is a artificial intelligence, automatic theorem proving book by Zbigniew Stachniak.
Discover Resolution proof systems by Zbigniew Stachniak, artificial intelligence.
About the Author
is the author of Resolution proof systems. Browse their full catalog on Booklogr.
Explore more books by Zbigniew Stachniak →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Resolution proof systems?+
Resolution proof systems is a Artificial intelligence, Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic book.
Who wrote Resolution proof systems?+
Resolution proof systems was written by Zbigniew Stachniak.