Skip to main content
PBS logo
 
 

Search - Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
Author: John Harrison
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...  more »
ISBN-13: 9780521899574
ISBN-10: 0521899575
Publication Date: 4/13/2009
Pages: 702
Edition: 1
Rating:
  ?

0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: