Automated Reasoning
by Wos, Larry / Overbeek, Ross / Lusk, Ewing / Boyle, Jim
Available Copies
Automated Reasoning: Introduction and Applications
by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle
- Condition
- Used - Very Good
- Jacket Condition
- No Jacket
- Edition
- 1st Edition
- Published
- 1984
- Binding
- Paperback
- ISBN
- 9780130544469
- Quantity Available
- 1
- Seller
-
Edmonton, Alberta, CAN
- Item Price
-
A$27.72
Show Details
Description:
Prentice Hall, 1984 Book. Very Good. Soft cover. 1st Edition. 8vo - over 7¾" - 9¾" tall. Minor shelf wear. Otherwise a square, tight, unmarked book. Index. xiv, 482 pp.. Item Price
A$27.72
Automated Reasoning: Introduction and Applications
by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle
- Condition
- New
- Edition
- 1st Edition.
- Published
- 1984
- Binding
- Soft cover
- ISBN
- 9780130544469
- Quantity Available
- 1
- Seller
-
Highland Park, Illinois, USA
- Item Price
-
A$74.69
Show Details
Description:
Prentice Hall, 1984. 1st Edition. . Soft cover. New.
Item Price
A$74.69
Automated Reasoning: Introduction and Applications
by Wos, Larry, Ross Overbeek, Ewing Lusk, Jim Boyle
- Condition
- Used - Near Fine
- Published
- 1984
- Binding
- Hardcover
- ISBN
- 9780130544537
- Quantity Available
- 1
- Seller
-
Pittsburgh, Pennsylvania, USA
- Item Price
-
A$18.29
Show Details
Description:
Englewood Cliffs: Prentice-Hall, Inc, 1984. Hardcover. Near Fine. Hardbound, 482 pp., clean unmarked text, near fine copy. Item Price
A$18.29
Automated Reasoning: Introduction and Applications
by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle
- Condition
- New
- Published
- 1984-02-01
- Binding
- Paperback
- ISBN
- 9780130544469
- Quantity Available
- 1
- Seller
-
San Diego, California, USA
- Item Price
-
A$124.24
Show Details
Description:
Prentice Hall, 1984-02-01. Paperback. New. New. In shrink wrap. Looks like an interesting title! Item Price
A$124.24