Stock Photo: Cover May Be Different
Graph-Based Proof Procedures for Horn Clauses Paperback - 1990
by Raatz
Details
- Title Graph-Based Proof Procedures for Horn Clauses
- Author Raatz
- Binding Paperback
- Edition First
- Pages 150
- Volumes 1
- Language ENG
- Publisher Birkhauser
- Date 1990-12-01
- Illustrated Yes
- ISBN 9780817635305 / 0817635300
- Weight 0.51 lbs (0.23 kg)
- Dimensions 9.21 x 6.14 x 0.34 in (23.39 x 15.60 x 0.86 cm)
- Library of Congress Catalog Number 90227328
- Dewey Decimal Code 005.1
More Copies for Sale
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.64A$18.39 shipping to USA
Show Details
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.
Item Price
A$57.64
A$18.39
shipping to USA
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.45A$19.39 shipping to USA
Show Details
Description:
Very Good.
Item Price
A$67.45
A$19.39
shipping to USA
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$99.34A$15.37 shipping to USA
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$99.34
A$15.37
shipping to USA
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.88A$19.23 shipping to USA
Show Details
Description:
Birkhauser, 1991. Hardcover. New. 158 pages. 9.25x6.25x0.75 inches.
Item Price
A$108.88
A$19.23
shipping to USA
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$113.90A$19.14 shipping to USA
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$113.90
A$19.14
shipping to USA
Stock Photo: Cover May Be Different
Graph-based Proof Procedures For Horn Clauses
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
A$100.42A$7.66 shipping to USA
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.42
A$7.66
shipping to USA
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$103.29A$6.12 shipping to USA
Show Details
Description:
Springer , pp. 160 . Papeback. Used.
Item Price
A$103.29
A$6.12
shipping to USA
Stock Photo: Cover May Be Different
GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES
by RAATZ, S.,
- New
- Condition
- New
- Edition
- N/A
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
A$105.77A$15.33 shipping to USA
Show Details
Description:
Birk, 1990. N/A. Unknown Binding. New/New.
Item Price
A$105.77
A$15.33
shipping to USA
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
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
A$110.37A$22.99 shipping to USA
Show Details
Description:
Birkhäuser. Paperback. New. 9x6x0.
Item Price
A$110.37
A$22.99
shipping to USA
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$305.05A$9.20 shipping to USA
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$305.05
A$9.20
shipping to USA