The Resolution Calculus

By Alexander Leitsch

Book Overview

This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The book deals with the traditional topics in new ways and gives a systematic treatment of recent research topics. It should become a standard reference.

• Format: Paperback
• Language: English
• ISBN: 3642644732
• ISBN13: 9783642644733
• Release Date: September 2011
• Publisher: Springer
• Length: 300 Pages
• Weight: 0.98 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"