Automated reasoning: Introduction and applications

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos

ISBN 10: 0130544531 ISBN 13: 9780130544537
Published by Prentice-Hall, 1984
Used Hardcover

From ThriftBooks-Atlanta, AUSTELL, GA, U.S.A. Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since 24 March 2009

This specific item is no longer available.

About this Item

Description:

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

Report this item

Bibliographic Details

Title: Automated reasoning: Introduction and ...
Publisher: Prentice-Hall
Publication Date: 1984
Binding: Hardcover
Condition: Very Good
Dust Jacket Condition: No Jacket

Top Search Results from the AbeBooks Marketplace

Stock Image

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

Seller: Mispah books, Redhill, SURRE, United Kingdom

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

hardcover. Condition: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82901305445313

Contact seller

Buy Used

£ 81
£ 25 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket