Skip to content

Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications Unknown - 1984

by Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle


Details

  • Title Automated Reasoning: Introduction and Applications
  • Author Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle
  • Binding unknown
  • Edition 1st Edition
  • Pages 482
  • Publisher Prentice Hall, Englewood Cliffs, NJ, U.S.A.
  • Date 1984
  • ISBN 9780130544469
Back to Top

More Copies for Sale

Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Larry Wos

  • Used
Condition
UsedGood
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
Skokie, Illinois, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$6.79
NZ$6.79 shipping to USA

Show Details

Description:
UsedGood.
Item Price
NZ$6.79
NZ$6.79 shipping to USA
Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Larry Wos

  • Used
Condition
UsedVeryGood
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
Skokie, Illinois, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$6.79
NZ$6.79 shipping to USA

Show Details

Description:
UsedVeryGood. Scuffed/inscribed. Text is mostly clean & readable.
Item Price
NZ$6.79
NZ$6.79 shipping to USA
Automated Reasoning : Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning : Introduction and Applications

by Larry Wos; Ewing Lusk; Jim Boyle; Ross Overbeck

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$13.58
FREE shipping to USA

Show Details

Description:
Prentice Hall PTR, 1984. Paperback. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
NZ$13.58
FREE shipping to USA
Automated Reasoning : Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning : Introduction and Applications

by Overbeck, Ross, Lusk, Ewing, Boyle, Jim, Wos, Larry

  • Used
Condition
Used - Good
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
Reno, Nevada, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$16.80
FREE shipping to USA

Show Details

Description:
Pearson Education, Limited. Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Item Price
NZ$16.80
FREE shipping to USA
Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Wos, Larry

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Edition
Reprint edition
Binding
Paperback
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
LEXINGTON, Massachusetts, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$16.99
NZ$8.49 shipping to USA

Show Details

Description:
New York: Prentice-Hall, 1984. Reprint edition. Paperback. Very Good/Wraps. 23 Cm. A Very Good paperback with lightly rubbed covers. Clean, tight, unmarked. .- Wraps . ISBN: 0130544469. Catalogs: Computer Science.
Item Price
NZ$16.99
NZ$8.49 shipping to USA
Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$18.66
FREE shipping to USA

Show Details

Description:
Prentice Hall, 1984-02-10. Paperback. Good.
Item Price
NZ$18.66
FREE shipping to USA
Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, James

  • Used
  • very good
  • Paperback
  • first
Condition
Used - Very Good
Edition
First Edition
Binding
Paperback
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
New Port Richey, Florida, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$28.94
NZ$8.51 shipping to USA

Show Details

Description:
Prentice-Hall, 1984. First Edition . Soft cover. Very Good. 8vo - over 7¾" - 9¾" tall. Very large, very heavy squarish softcover, glossy wrappers with color-illustration of robot in "The Thinker" pose before a computer, colorfully designed wrappers, black spine and back wrapper with colorful lettering, 482 pages. Light wear to top front tips, very slight at back tips, very tiny dent at spine middle left and spine top left edge. Very Good.
Item Price
NZ$28.94
NZ$8.51 shipping to USA
Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

  • Used
  • very good
  • Paperback
  • first
Condition
Used - Very Good
Edition
1st Edition
Binding
Paperback
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
Edmonton, Alberta, Canada
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$31.16
NZ$18.68 shipping to USA

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
NZ$31.16
NZ$18.68 shipping to USA
Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

  • New
  • Paperback
  • first
Condition
New
Edition
1st Edition.
Binding
Paperback
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
Highland Park, Illinois, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$83.41
NZ$5.11 shipping to USA

Show Details

Description:
Prentice Hall, 1984. 1st Edition. . Soft cover. New.
Item Price
NZ$83.41
NZ$5.11 shipping to USA
Automated Reasoning: Introduction and Applications
Stock Photo: Cover May Be Different

Automated Reasoning: Introduction and Applications

by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780130544469 / 0130544469
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$109.32
NZ$9.28 shipping to USA

Show Details

Description:
Prentice Hall, 1984-02-01. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
NZ$109.32
NZ$9.28 shipping to USA