Skip to content

Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).

Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).

Click for full-size.

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Somerville, Massachusetts, United States
Item Price
NZ$329.86
Or just NZ$296.88 with a
Bibliophiles Club Membership
NZ$9.95 Shipping to USA
Standard delivery: 10 to 14 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

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!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
findbook2004 US (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.

About the Seller

findbook2004

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2018
Somerville, Massachusetts

About findbook2004

Private Seller.
tracking-