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.