The Resolution Calculus
Paperback or Softback 300 pages Sep 28, 2011
Millions of titlesEvery book you're looking for
Carbon-neutral shippingFree on orders over $39.99
Fast shipping worldwideDelivered to your door
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.
- Author:
- Alexander Leitsch
- Publisher:
- Springer
- Publication Date:
- Sep 28, 2011
- Number of pages:
- 300 pages
- Binding:
- Paperback or Softback
- ISBN-10:
- 3642644732
- ISBN-13:
- 9783642644733