Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by Raatz, Stan
- New
- Hardcover
- Condition
- New
- ISBN 10
- 0817635300
- ISBN 13
- 9780817635305
- Seller
-
Exeter, Devon, United Kingdom
2 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Birkhauser, 1991. Hardcover. New. 158 pages. 9.25x6.25x0.75 inches.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Revaluation Books (GB)
- Bookseller's Inventory #
- x-0817635300
- Title
- Graph-Based Proof Procedures for Horn Clauses
- Author
- Raatz, Stan
- Format/Binding
- Hardcover
- Book Condition
- New
- Quantity Available
- 2
- ISBN 10
- 0817635300
- ISBN 13
- 9780817635305
- Publisher
- Birkhauser
- Date Published
- 1991
Terms of Sale
Revaluation Books
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
Revaluation Books
Biblio member since 2020
Exeter, Devon
About Revaluation Books
General bookseller of both fiction and non-fiction.
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"...