CART

(0) items

Automation of Logic,9781439875353
This item qualifies for
FREE SHIPPING!

FREE SHIPPING OVER $59!

Your order must be $59 or more, you must select US Postal Service Shipping as your shipping preference, and the "Group my items into as few shipments as possible" option when you place your order.

Bulk sales, PO's, Marketplace Items, eBooks, Apparel, and DVDs not included.

Automation of Logic

by ;
Edition:
1st
ISBN13:

9781439875353

ISBN10:
1439875359
Format:
Hardcover
Pub. Date:
11/26/2014
Publisher(s):
Chapman & Hall
List Price: $89.95

Buy New Textbook

Not Yet Printed. Place an order and we will ship it as soon as it arrives.
$87.70

Rent Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

Questions About This Book?

What version or edition is this?
This is the 1st edition with a publication date of 11/26/2014.
What is included with this book?
  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.

Summary

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors.


Please wait while the item is added to your cart...