Automated Reasoning: Introduction and Applications
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, James
ISBN 10: 0130544469 ISBN 13: 9780130544469
Published by Prentice-Hall, 1984
Used
Paperback
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.
About this Item
Description:
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0130544469I3N00
Bibliographic Details
Title: Automated Reasoning: Introduction and ...
Publisher: Prentice-Hall
Publication Date: 1984
Binding: Paperback
Condition: Good
Dust Jacket Condition: No Jacket