Automated Reasoning: Introduction and Applications/Book & Disk
Description:
For mathematicians, engineers, computer scientists, and logicians, explains how to use automated reasoning to solve problems in mathematics research, formal logic, circuit design and validation, real-time control, and program debugging and verification. About 30% of the material is different than the 1984 first edition. Includes an automated reasoning program, OTTER, on a 5" diskette for an IBM compatible personal computer. Annotation copyright Book News, Inc. Portland, Or.
Best prices to buy, sell, or rent ISBN 9780079112514
Frequently Asked Questions about Automated Reasoning: Introduction and Applications/Book & Disk
The price for the book starts from $49.91 on Amazon and is available from 8 sellers at the moment.
If you’re interested in selling back the Automated Reasoning: Introduction and Applications/Book & Disk book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Automated Reasoning: Introduction and Applications/Book & Disk book, the best buyback offer comes from and is $ for the book in good condition.
The Automated Reasoning: Introduction and Applications/Book & Disk book is in very low demand now as the rank for the book is 8,467,377 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
Not enough insights yet.