Stock Photo: Cover May Be Different
Automated Reasoning: Introduction and Applications
by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle
- New
- Paperback
- first
- Condition
- New
- ISBN 10
- 0130544469
- ISBN 13
- 9780130544469
- Seller
-
Highland Park, Illinois, United States
Payment Methods Accepted
About This Item
Prentice Hall, 1984. 1st Edition. . Soft cover. New.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- CMSRAREBOOKS (US)
- Bookseller's Inventory #
- ABE-1671981900527
- Title
- Automated Reasoning: Introduction and Applications
- Author
- Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle
- Format/Binding
- Soft cover
- Book Condition
- New
- Quantity Available
- 1
- Edition
- 1st Edition.
- Binding
- Paperback
- ISBN 10
- 0130544469
- ISBN 13
- 9780130544469
- Publisher
- Prentice Hall
- Place of Publication
- Englewood Cliffs, Nj, U.s.a.
- Date Published
- 1984
Terms of Sale
CMSRAREBOOKS
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
About the Seller
CMSRAREBOOKS
Biblio member since 2023
Highland Park, Illinois
About CMSRAREBOOKS
Online Bookstore with about 30,000 books that are lightly used or new. Most categories except Textbooks
Glossary
Some terminology that may be used in this description includes:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...