Skip to content
Scan a barcode
Scan

All Formats & Editions

1 - 1 of 1 results found
Resolution Proof Systems: An Algebraic Theory 9401072515 Book Cover

Resolution Proof Systems: An Algebraic Theory

Edition Description

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems...

Edition Details
Format:Paperback
Language:English
ISBN:9401072515
Format: Paperback
Condition:
$
109.99
50 Available
Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured