Overview

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.
ISBN-13

9780130544537

ISBN-10

0130544531

List Price

$31.00

Format

Hardcover

Pages

482 pages

Publisher

Prentice-Hall

Published On

1984-02-01


View All Offers

Sort by:

empty cart

No Offers for this book


Bookstores.com relies on cookies to improve your experience.