Items related to Automated reasoning: Introduction and applications

Automated reasoning: Introduction and applications - Hardcover

 
9780130544537: Automated reasoning: Introduction and applications
Hardcover
ISBN 10: 0130544531 ISBN 13: 9780130544537
  • ISBN 10 0130544531
  • ISBN 13 9780130544537
  • BindingHardcover
  • LanguageEnglish

Buy Used

Condition: Very Good
Missing dust jacket; May have limited...
View this item
9780130544537: Automated reasoning: Introduction and applications
£ 152.67

Convert currency

FREE shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780130544469: Introduction and Applications (Automated Reasoning)

Featured Edition

ISBN 10:  0130544469 ISBN 13:  9780130544469
Publisher: Prentice Hall, 1984
Softcover

Search results for Automated reasoning: Introduction and applications

Stock Image

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos
Published by Prentice Hall, 1984
ISBN 10: 0130544531 ISBN 13: 9780130544537
Used Hardcover

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01. Seller Inventory # G0130544531I4N01

Contact seller

Buy Used

£ 152.67
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket