The Resolution Calculus

出版者:Springer Verlag

作者:Leitsch, Alexander

页数:300

价格:$ 76.78

装帧:HRD

isbn号码:9783540618829

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.