3709902
9780130544537
Out of Stock
The item you're looking for is currently unavailable.
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.Wos, Larry is the author of 'Automated Reasoning: Introduction and Applications' with ISBN 9780130544537 and ISBN 0130544531.
[read more]