Automated Reasoning: Introduction and Applications
Description:
Explains How a Computer Can Be Programmed to Reason. Discusses the Application of Automated Reasoning to Designing Logic Circuits & Proving Properties of Other Computer Programs.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.
Want a Better Price Offer?
Set a price alert and get notified when the book starts selling at your price.
Want to Report a Pricing Issue?
Let us know about the pricing issue you've noticed so that we can fix it.