Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).
by Stan Raatz
- New
- Hardcover
- Condition
- New
- ISBN 10
- 0817635300
- ISBN 13
- 9780817635305
- Seller
-
Somerville, Massachusetts, United States
Payment Methods Accepted
About This Item
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic). By Stan Raatz. 1990 by Birkhäuser. Hardcover, 148 pages.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- findbook2004 (US)
- Bookseller's Inventory #
- L3 box738 a3a
- Title
- Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).
- Author
- Stan Raatz
- Book Condition
- New New
- Quantity Available
- 1
- Binding
- Hardcover
- ISBN 10
- 0817635300
- ISBN 13
- 9780817635305
- Publisher
- Birkhäuser
- Date Published
- 1990
- Pages
- 148
Terms of Sale
findbook2004
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.