Order Total (1 Item Items):
Shipping Destination:
Wos Larry (35 results)
Author:
wos larry
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (8)
- Not Print on Demand (32)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Automated Reasoning: Introduction and Applications
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
paperback. Condition: 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!
-
Automated Reasoning: Introduction and Applications
Seller: George Cross Books, Lexington, MA, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. Reprint edition. Very Good/Wraps (27516) A Very Good paperback with lightly rubbed covers. Clean, tight, unmarked. .- 482.
-
Soft cover. Condition: Very Good. pp.x, 374 pages a very good paperback, [013054552X].
-
Automated Reasoning: Introduction and Applications
First Edition
Soft cover. Condition: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book.
-
Automated Reasoning: Introduction and Applications
Seller: Callaghan Books South, New Port Richey, FL, U.S.A.
Seller rating 4 out of 5 stars
First Edition
Soft cover. Condition: 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.
-
A Fascinating Country in the World of Computing
Language: English
Published by World Scientific Publishing Comp, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
bundle. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Condition: new.
-
Hardcover. Condition: UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to exterior; small tear at top end of spine; in very good condition with clean text, firm binding. No dust jacket.
-
Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set)
Language: English
Published by World Scientific Publishing Comp, 2000
ISBN 10: 9810240015 ISBN 13: 9789810240011
hardcover. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Unknown. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Automated Reasoning: Introduction and Applications
Language: English
Published by Prentice Hall 10.02.1984., 1984
ISBN 10: 0130544469 ISBN 13: 9780130544469
Condition: Gut. 482 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 17,0 x 3,0 cm, Taschenbuch.
-
Condition: 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.
-
Condition: New. Satisfaction Guaranteed or your money back.
-
A Fascinating Country in the World of Computing (CD-ROM included)
Language: English
Published by World Scientific Pub Co Inc, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Hard Cover. Condition: 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.
-
Condition: New. pp. 434.
-
Condition: New. pp. 434.
-
Paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Condition: New. pp. 434.
-
US$ 114.10
US$ 34.19 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to baskethardcover. Condition: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
-
JOURNAL of AUTOMATED REASONING; Vol. 7, No. 1 1991.
Published by KLUWER ACADEMIC PUBLISHERS, * * * * *, 1991
Soft cover. Condition: Fine. Vol. 7, No. 1. 1991 B00k: Fine/, Almost As New/, (illustrator). 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. =.
-
A Fascinating Country in the World of Computing
Language: English
Published by World Scientific Pub Co Inc, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Hardcover. Condition: New.
-
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
Language: English
Published by World Scientific Pub Co Inc, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
US$ 241.73
US$ 17.09 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. hardback/cd-rom edition. 608 pages. 9.00x6.50x1.50 inches. In Stock.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Language: English
Published by World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Condition: As New. Unread book in perfect condition.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Language: English
Published by World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Condition: New.
-
A Fascinating Country in the World of Computing
Language: English
Published by World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Condition: New.
-
A Fascinating Country in the World of Computing
Language: English
Published by World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 176.97
US$ 16.38 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Language: English
Published by World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 176.72
US$ 20.51 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
