Automated reasoning: Introduction and applications
ISBN-10:
0130544531
ISBN-13:
9780130544537
Edition: n
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.