Automated Reasoning: Introduction and Applications/Book & Disk

Larry Wos

ISBN 10: 007911251X ISBN 13: 9780079112514

Published by McGraw-Hill, 1992

Used Hardcover

From ThriftBooks-Atlanta, AUSTELL, GA, U.S.A. Seller rating 5 out of 5 stars

AbeBooks Seller since March 24, 2009

This specific item is no longer available.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G007911251XI3N00

Report this item

Synopsis:

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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Automated Reasoning: Introduction and ...
Publisher: McGraw-Hill
Publication Date: 1992
Binding: Hardcover
Condition: Good
Dust Jacket Condition: No Jacket

Top Search Results from the AbeBooks Marketplace

Stock Image

Automated Reasoning: Introduction & Applications, 2nd Edition

Wos, Larry, et al

Published by McGraw Hill, 1992

ISBN 10: 007911251X ISBN 13: 9780079112514

Used Hardcover

Seller: BookDepart, Shepherdstown, WV, U.S.A.

Seller rating 5 out of 5 stars

Hardcover. Condition: UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to exterior; small tear at top end of spine; in very good condition with clean text, firm binding. No dust jacket. Seller Inventory # 37450

Contact seller

Buy Used

US$ 32.02

Shipping: US$ 8.44

Within U.S.A.

Quantity: 1 available

Add to basket

Stock Image