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

Handbook of Practical Logic and Automated Reasoning (Hardcover)

By: John Harrison (Author)

More About this Product
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.

If You Enjoy "Handbook of Practical Logic and Automated Reasoning (Hardcover)", May We Also Recommend:

 [Prefaces: Writing Sampler, Kierkegaards Writings IX (Other) ~ So... Cover Art
Prefaces: Writing Sampler, Kierkegaards Writings IX (Other) ~ Soren A. Kierkegaard (Author) ... ]
 [Evolution, Creationism, and Other Modern Myths (Paperback) ~ Vin... Cover Art
Evolution, Creationism, and Other Modern Myths (Paperback) ~ Vine Deloria (Author) ]
 [Rhetoric of Aristotle (Paperback) ~ Aristotle (Author) Cover Art
Rhetoric of Aristotle (Paperback) ~ Aristotle (Author) ]
 [The Choice Of Hercules (Paperback) ~ A. C. Grayling (Author) Cover Art
The Choice Of Hercules (Paperback) ~ A. C. Grayling (Author) ]
 [The Use And Abuse of History (Paperback) ~ Friedrich W. Nietzsch... Cover Art
The Use And Abuse of History (Paperback) ~ Friedrich W. Nietzsche (Author... ]
 [An Introduction to Philosophical Analysis (Hardcover) ~ John Hos... Cover Art
An Introduction to Philosophical Analysis (Hardcover) ~ John Hospers (Author) ]
 [On the Sublime (Paperback) ~ Longinus (Author) Cover Art
On the Sublime (Paperback) ~ Longinus (Author) ]
 [On Existentialism (Paperback) ~ Mark Tanzer (Author) Cover Art
On Existentialism (Paperback) ~ Mark Tanzer (Author) ]
 [Heidegger's <i>being and Time</I> (Paperback) ~ Paul... Cover Art
Heidegger's <i>being and Time</I> (Paperback) ~ Paul Gorner (Author) ]
 [Common Sense, Science and Scepticism (Paperback) ~ Alan Musgrave... Cover Art
Common Sense, Science and Scepticism (Paperback) ~ Alan Musgrave (Author) ]

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