Description:
Birkhauser Boston Inc, 1990. Paperback. Very Good. Former library book. Slight signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Graph-Based Proof Procedures for Horn Clauses by RAATZ
by RAATZ
Similar copies are shown below.
Similar copies are shown to the right.
Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by RAATZ
- New
- Paperback
Birkhäuser. Paperback. New. 9x6x0.
- Bookseller Independent bookstores (US)
- Format/Binding Paperback
- Book Condition New New
- Quantity Available 5
- Binding Paperback
- ISBN 10 0817635300
- ISBN 13 9780817635305
- Publisher Birkhäuser
- Size 9x6x0
- X weight 15 oz
- Size 9x6x0
We have 10 copies available starting at A$57.41.
Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by RAATZ
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
A$57.41A$12.00 shipping to
Show Details
Item Price
A$57.41
A$12.00
shipping to
Stock Photo: Cover May Be Different
GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES
by RAATZ
- Used
- Very Good
- Condition
- Used - Very Good
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 1
- Seller
-
Indianapolis, Indiana, United States
- Item Price
-
A$67.18A$12.65 shipping to
Show Details
Description:
Very Good.
Item Price
A$67.18
A$12.65
shipping to
Stock Photo: Cover May Be Different
Graph-based Proof Procedures For Horn Clauses
- New
- Condition
- New
- Jacket Condition
- New
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
A$100.45A$5.00 shipping to
Show Details
Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
A$100.45
A$5.00
shipping to
Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by RAATZ Stan Raatz
- Used
- Condition
- Used
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
A$102.88A$3.99 shipping to
Show Details
Description:
Springer , pp. 160 . Papeback. Used.
Item Price
A$102.88
A$3.99
shipping to
Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by RAATZ
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 303
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$100.58A$7.99 shipping to
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Graph-Based Proof Procedures for Horn Clauses.
Item Price
A$100.58
A$7.99
shipping to
Stock Photo: Cover May Be Different
GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES
by RAATZ, S.,
- New
- Condition
- New
- Jacket Condition
- New
- Edition
- N/A
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
A$105.36A$10.00 shipping to
Show Details
Description:
Birk, 1990. N/A. Unknown Binding. New/New.
Item Price
A$105.36
A$10.00
shipping to
Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by Raatz, Stan
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
A$108.58A$10.00 shipping to
Show Details
Description:
Birkhauser, 1991. Hardcover. New. 158 pages. 9.25x6.25x0.75 inches.
Item Price
A$108.58
A$10.00
shipping to
Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by RAATZ
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$115.32A$9.95 shipping to
Show Details
Description:
Paperback / softback. New. A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.
Item Price
A$115.32
A$9.95
shipping to
Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses
by RAATZ
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
A$145.51FREE shipping to
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
A$145.51
FREE shipping to
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).
by Stan Raatz
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 1
- Seller
-
Somerville, Massachusetts, United States
- Item Price
-
A$303.85A$6.00 shipping to
Show Details
Description:
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic). By Stan Raatz. 1990 by Birkhäuser. Hardcover, 148 pages.
Item Price
A$303.85
A$6.00
shipping to