圖書標籤:
发表于2024-11-12
The Resolution Calculus pdf epub mobi txt 電子書 下載 2024
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.
評分
評分
評分
評分
The Resolution Calculus pdf epub mobi txt 電子書 下載 2024