Gesamtpreis (1 Artikel Artikel):
Versandziel:
LARRY WOS (34 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (34)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Einband
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (10)
- Keine Print-on-Demand Angebote (31)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated Reasoning: Introduction and Applications
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Automated Reasoning: Introduction and Applications
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Automated Reasoning: Introduction and Applications
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
paperback. Zustand: 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
Anbieter: George Cross Books, Lexington, MA, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Reprint edition. Very Good/Wraps (27516) A Very Good paperback with lightly rubbed covers. Clean, tight, unmarked. .- 482.
-
Automated Reasoning: 33 Basic Research Problems.
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,21
EUR 8,03 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. pp.x, 374 pages a very good paperback, [013054552X].
-
Automated Reasoning: Introduction and Applications
Anbieter: BooksByLisa, Highland Park, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Soft cover. Zustand: 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
Anbieter: Callaghan Books South, New Port Richey, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Erstausgabe
Soft cover. Zustand: 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
Sprache: Englisch
Verlag: World Scientific Publishing Comp, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
bundle. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Automated Reasoning: Introduction & Applications, 2nd Edition
Anbieter: BookDepart, Shepherdstown, WV, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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)
Sprache: Englisch
Verlag: World Scientific Publishing Comp, 2000
ISBN 10: 9810240015 ISBN 13: 9789810240011
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Zustand: new.
-
Automated Reasoning and the Discovery of Missing and Elegant Proofs
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Unknown. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Automated Reasoning: Introduction and Applications
Sprache: Englisch
Verlag: Prentice Hall 10.02.1984., 1984
ISBN 10: 0130544469 ISBN 13: 9780130544469
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Automated Reasoning: Introduction and Applications/Book & Disk
Anbieter: PAPER CAVALIER UK, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 44,67
EUR 6,89 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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. Zustand: As New.
-
Zustand: New. Satisfaction Guaranteed or your money back.
-
A Fascinating Country in the World of Computing (CD-ROM included)
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Hard Cover. Zustand: 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.
-
Automated Reasoning: Introduction and Applications
Anbieter: BennettBooksLtd, San Diego, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
-
Automated reasoning: Introduction and applications
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 95,76
EUR 28,69 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
-
JOURNAL of AUTOMATED REASONING; Vol. 7, No. 1 1991.
Verlag: KLUWER ACADEMIC PUBLISHERS, * * * * *, 1991
Anbieter: L. Michael, North Hollywood, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Soft cover. Zustand: 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. =.
-
Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
Sprache: Englisch
Verlag: World Scientific Publishing Co Pte Ltd, SG, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 180,98
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 11 verfügbar
In den WarenkorbHardback. Zustand: New. This book shows you - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.
-
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 206,76
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. hardback/cd-rom edition. 608 pages. 9.00x6.50x1.50 inches. In Stock.
-
Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
Sprache: Englisch
Verlag: World Scientific Publishing Co Pte Ltd, SG, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 171,80
EUR 74,61 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 11 verfügbar
In den WarenkorbHardback. Zustand: New. This book shows you - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Sprache: Englisch
Verlag: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 151,32
EUR 2,25 shipping
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
A Fascinating Country in the World of Computing
Sprache: Englisch
Verlag: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Sprache: Englisch
Verlag: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 158,62
EUR 2,25 shipping
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
A Fascinating Country in the World of Computing
Sprache: Englisch
Verlag: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 148,15
EUR 13,75 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Sprache: Englisch
Verlag: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 148,13
EUR 17,22 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Sprache: Englisch
Verlag: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 166,14
EUR 17,22 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
