Wos larry (34 resultados)

Hardcover. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Soft cover. Condición: Very Good. pp.x, 374 pages a very good paperback, [013054552X].

Soft cover. Condición: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book.

Paperback. Condición: Fair. First Edition. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.

Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Soft cover. Condición: Very Good. First Edition. 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.…

hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Hardcover. Condición: UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to ext erior; small tear at top end of spine; in very good condition with clean te xt, firm binding. No dust jacket.

Hardcover. Condición: Good. The hardcover of "Automated Reasoning: Introduction and Applications" is in good condition, with some minor wear visible on the spine and corners. The interior pages are clean and free from inscriptions or library markings. The binding remains intact, ensuring the book is suitable for reading or collection.…

Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condición: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.

Paperback. Condición: new. New Copy. Customer Service Guaranteed.

Condición: New. Satisfaction Guaranteed or your money back.

Hard Cover. Condición: Acceptable. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. Library label on spine. 587 pages. CD-ROM included. Ex-Library.

Condición: very_good.

Paperback. Condición: New. In shrink wrap. Looks like an interesting title.

Hardcover. Condición: New.

hardcover. Condición: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: gut. 1987. Automated Reasoning: 33 Basic Research Problems In englischer Sprache. pages.

Hardcover. Condición: Brand New. hardback/cd-rom edition. 608 pages. 9.00x6.50x1.50 inches. In Stock.

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condición: As New. Like new, never been used.

Soft cover. Condición: Fine. B00k: Fine/, Almost As New/, $135.43 J0URNAL of AUT0MATED REAS0NING; Vol. 7, No. 1 1991. KLUWER ACADEMIC PUBLISHERS 1991 Yellow Spine With Title In Black Letters, Medium To Small Soft Cover B00k: Fine/, Almost As New/, Slight Edge Ware From Shelf Ware, 167 Pages That Are UnOpened And UnRead. Some Of The Contributors To The Articles Are As Follows, Donald W Loveland, Peter Padawitz, Larry Wos, Matt Kaufmann, Shang-Ching Chou, Deepak Kapur, Rick Stevens, Joseph Mundy, Guy E. Blelloch, M. E. Stickel And Timothy Stokes. SYNOPSIS: The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992.[1] It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.[2] The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow. The journal's 2011 impact factor is 0.714, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus. = = Description Applies To This B00K, Only. Which Has A Special Significance, Is Hard To Find, Will Be Packaged And Shipped = Carefully, To Avoid Shipping Damage And Will Make It, An Excellent Addition To Your Own Personal Library Collection, Or As A Gift, For The Discriminating Reader / Collector. = WORLD WIDE SHIPPING, AVAILABLE. =. Vol. 7, No. 1. 1991 B00k: Fine/, Almost As New/, (ilustrador).…

Condición: new.

paperback. Condición: Sehr gut. 319 Seiten; *** Top Zustand! M25-06-J-05-VG Sprache: Deutsch Gewicht in Gramm: 500.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.