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

AbeBooks Seller since 24 March 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

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