Automated Reasoning: Introduction and Applications

by

Write The First Customer Review

This second edition explains what automated reasoning is and what it can do, and then demonstrates how to use it to solve complex problems with applications in logic circuit design, circuit validation, real-time system design, and expert systems.

Automated Reasoning: Introduction and Applications 1992, McGraw-Hill Companies, New York, NY

ISBN-13: 9780079112514

2nd edition

Hardcover

Select
Automated Reasoning: Introduction and Applications 1984, Prentice Hall

ISBN-13: 9780130544469

Unknown binding

Select
Automated Reasoning: Introduction and Applications 1984, Prentice Hall

ISBN-13: 9780130544537

Unknown binding

Select