Graph-Based Proof Procedures For Horn Clauses
by Raatz, Stan
Available Copies
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).
by Stan Raatz.
- Condition
- New
- Published
- 1990
- ISBN
- 9780817635305
- Quantity Available
- 1
- Seller
-
Somerville, Massachusetts, USA
- Item Price
-
NZ$328.63
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
NZ$328.63
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).
by Stan Raatz.
- Condition
- New
- Published
- 1990
- ISBN
- 9783764335304
- Quantity Available
- 1
- Seller
-
Somerville, Massachusetts, USA
- Item Price
-
NZ$328.63
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
NZ$328.63
Graph-Based Proof Procedures for Horn Clauses
by RAATZ Stan Raatz
- Condition
- Used
- Published
- pp. 160
- Binding
- Papeback
- ISBN
- 9780817635305
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
NZ$111.27
Show Details
Description:
Springer , pp. 160 . Papeback. Used. Item Price
NZ$111.27
Graph-Based Proof Procedures for Horn Clauses
by Raatz, Stan
- Condition
- New
- Published
- 1991
- Binding
- Hardcover
- ISBN
- 9780817635305
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
NZ$117.04
Show Details
Description:
Birkhauser, 1991. Hardcover. New. 158 pages. 9.25x6.25x0.75 inches. Item Price
NZ$117.04