Handbook of Practical Logic and Automated Reasoning

by John E. Harrison

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521899575
• ISBN13: 9780521899574
• Release Date: April 2009
• Publisher: Cambridge University Press
• Length: 702 Pages
• Weight: 3.10 lbs.
• Dimensions: 1.5" x 6.9" x 9.8"