Order History
Premium Membership & Rewards
Help Center / FAQ
Handbook of Practical Logic and Automated Reasoning
eBook
$156.00
Earn 5X Rewards 1/1 - 12/31In stock
Buy this eBook as a gift for someone else
Buy this eBook as a gift for someone else
Personalize your gift
Pick up in store
Your local store may have stock of this item.
Your local store may have stock of this item.
Available on compatible , the free NOOK App, and in My Digital Library
NOOK App
Open NOOK app
Download NOOK app
NOOK Devices
- NOOK GlowLight 4 Plus
- NOOK GlowLight 4e
- NOOK GlowLight 4
- NOOK GlowLight Plus 7.8
- NOOK GlowLight 3
- NOOK GlowLight Plus 6
- NOOK 9" Lenovo Tablet (Arctic Grey and Frost Blue)
- NOOK 10" HD Lenovo Tablet
- NOOK Tablet 7" & 10.1
- NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
- NOOK by Samsung [Tab 4 10.1, S2 & E]
- NOOK for iOS
- NOOK for Android
BN.com website
Go to your Digital Library in My Account
Limit 1 per customer
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 …