Automated Reasoning: Introduction and Applications by Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle - 1984-02-10

UsedGood.

UsedVeryGood. Scuffed/inscribed. Text is mostly clean & readable.

Pearson Education, Limited. Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

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.

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.

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..

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.

Prentice Hall, 1984. 1st Edition. . Soft cover. New.

Prentice Hall, 1984-02-01. Paperback. New. New. In shrink wrap. Looks like an interesting title!