Items related to Automated Reasoning: Introduction and Applications/Book...
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<1/2>" diskette for an IBM compatible personal computer. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
- PublisherMcGraw-Hill
- Publication date1992
- ISBN 10 007911251X
- ISBN 13 9780079112514
- BindingHardcover
- Number of pages656
Buy New
Learn more about this copy
US$ 248.09
Shipping:
US$ 4.25
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Automated Reasoning: Introduction and Applications/Book Disk
Published by
McGraw-Hill
(1992)
ISBN 10: 007911251X
ISBN 13: 9780079112514
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think007911251X
Buy New
US$ 248.09
Convert currency
Stock Image
Automated Reasoning: Introduction and Applications/Book Disk
Published by
McGraw-Hill
(1992)
ISBN 10: 007911251X
ISBN 13: 9780079112514
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_007911251X
Buy New
US$ 252.88
Convert currency