My rating:
add to my books
Loading...
Handbook of Practical Logic and Automated Reasoning
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 ...more
Hardcover, 681 pages
Published
May 31st 2009
by Cambridge University Press
(first published 2009)
There is a good chance some of your friends read this book. Sign in to see!
sign in »
Friend Reviews
To see what your friends thought of this book,
please sign up.
This book is currently not featured on any Listopia lists.
Add this book to your favorite list »
Community Reviews
There are no discussion topics on this book yet.
Be the first to start one »
Goodreads is Hiring Engineers!
If you like books like these and love to build cool products, we may be looking for you.
Learn more »
Learn more »
Share This Book
No trivia or quizzes yet. Add some now »
