Handbook of Practical Logic and Automated Reasoning (Hardcover) ... Cover Art

Handbook of Practical Logic and Automated Reasoning (Hardcover)

By: John Harrison (Author)


List Price: $135.00
Tower Price: $133.98
You Save: $1.02 (1%)
Add to BagAdd to Bag Click to go directly to the checkout.
FREE Shop N' Save Shipping. Check individual shipping price. *Some Restrictions Apply.
 
Availability: In Stock
Share This:
Add To KaboodleAdd To Kaboodle  Submit To Digg!Submit To Digg!  Share On FacebookShare On Facebook  Add to FavoritesAdd to Favorites  TwitterTwitter 

Product Description



Run a Quick Search on "Handbook of Practical Logic and Automated Reasoning" by John Harrison to Browse Related Products:

Browse more products related to "Handbook of Practical Logic and Automated Reasoning"

Browse more products related to "John Harrison"


Publisher's note

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.



Customer Reviews for "Handbook of Practical Logic and Automated Reasoning (Hardcover)" by John Harrison (Author)

There are no customer reviews yet. Be the first to write a review!

Submit your Review




Explore More Great Tower Sales & Specials



Tower.com BOOK Sales, Promotions & Special Features

Tower.com Popular Book Wiki Articles

  • The Paperback
    Learn more information on the paperback format before choosing which type of book to purchase.
  • The E-Book
    What exactly is an "electronic book?" Learn before you buy with Tower Wiki!
  • The Audio Book
    Do you prefer to read or be read to? Learn more about this increasingly popular book format.

Interact with Tower.com