Books
ISBN: 9780817635305
Edition
ISBN:
0817635300 /
ISBN-13:
9780817635305
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Paperback,
New
Graph-Based Proof Procedures for Horn Clauses
by Raatz
1990, Birkhauser
ISBN-13:
9780817635305
See Item Details ▾
Alibris
BEST
NV, USA
$60.65
Add to Basket
Add this copy of Graph-Based Proof Procedures for Horn Clauses to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1990 by Birkhauser.
Edition: 1990, Birkhauser
Paperback,
New
Available Copies: 10+
Details: ISBN:
0817635300
ISBN-13:
9780817635305
Publisher:
Birkhauser
Published:
1990
Language:
English
Alibris ID:
11961791908
Shipping Options: Standard Shipping: $4.47
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 150 p. Contains: Unspecified, Illustrations, black & white. Progress in Computer Science and Applied Logic, 10.
Hide Details ▴
Paperback,
Good
Graph-Based Proof Procedures for Horn Clauses
by Raatz
1990, Birkhäuser
ISBN-13:
9780817635305
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$64.14
Add to Basket
Add this copy of Graph-Based Proof Procedures for Horn Clauses to cart. $64.14, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1990 by Birkhäuser.
Edition: 1990, Birkhäuser
Paperback,
Good
Details: ISBN:
0817635300
ISBN-13:
9780817635305
Publisher:
Birkhäuser
Published:
1990
Language:
English
Alibris ID:
17568242036
Shipping Options: Standard Shipping: $4.47
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Paperback,
New
Graph-Based Proof Procedures for Horn Clauses
1990, Birkhauser
ISBN-13:
9780817635305
See Item Details ▾
discount_scientific_books
HIGH
Sterling Heights,
MI,
USA
$68.21
Add to Basket
Add this copy of Graph-Based Proof Procedures for Horn Clauses to cart. $68.21, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1990 by Birkhauser.
Edition: 1990, Birkhauser
Paperback,
New
Details: ISBN:
0817635300
ISBN-13:
9780817635305
Publisher:
Birkhauser
Published:
1990
Language:
English
Alibris ID:
18223248175
Shipping Options: Standard Shipping: $4.47
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New. New Book Original US edition, We Ship to PO BOX Address also.
Hide Details ▴
Paperback,
New
Graph-Based Proof Procedures for Horn Clauses
by 0
1990, Birkhauser
ISBN-13:
9780817635305
See Item Details ▾
discount_scientific_books
HIGH
Sterling Heights,
MI,
USA
$70.68
Add to Basket
Add this copy of Graph-Based Proof Procedures for Horn Clauses to cart. $70.68, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1990 by Birkhauser.
Edition: 1990, Birkhauser
Paperback,
New
Details: ISBN:
0817635300
ISBN-13:
9780817635305
Publisher:
Birkhauser
Published:
1990
Language:
English
Alibris ID:
18224406766
Shipping Options: Standard Shipping: $4.47
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New, US edition. Satisfaction guaranteed! !
Hide Details ▴
