Items related to Automated reasoning: Introduction and applications

Automated reasoning: Introduction and applications - Hardcover

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos

 
9780130544537: Automated reasoning: Introduction and applications
Hardcover
ISBN 10: 0130544531 ISBN 13: 9780130544537
Publisher: Prentice-Hall, 1984
  • PublisherPrentice-Hall
  • Publication date1984
  • ISBN 10 0130544531
  • ISBN 13 9780130544537
  • BindingHardcover
  • LanguageEnglish
  • Number of pages482

Buy Used

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

Convert currency

FREE shipping within U.S.A.

Destination, rates & speeds
Free 30-day returns

Other Popular Editions of the Same Title

9780130544469: Automated Reasoning: Introduction and Applications

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

US$ 196.92
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket