This is a completely new presentation of resolution as a logical calculus and basis for computational algorithms and decision procedures. By presenting traditional topics in new ways and providing a systematic treatment of recent research topics, the book shows how resolution decision procedures can be applied to solve the decision problem for some important first-order classes. New concepts are used to classify the complexity of refinements and functional extension is introduced with resolution.
發表於2025-01-26
The Resolution Calculus 2025 pdf epub mobi 電子書 下載
圖書標籤:
The Resolution Calculus 2025 pdf epub mobi 電子書 下載