Gesamtpreis (1 Artikel Artikel):
Versandziel:
wos larry (26 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (26)
- 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 (7)
- Keine Print-on-Demand Angebote (23)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated reasoning: Introduction and applications
Anbieter: Cycle Books LA, South el monte, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: very_good.
-
Automated reasoning: Introduction and applications
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
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: 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,29
EUR 8,12 Versand
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].
-
hardcover. 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: 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.
-
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.
-
Automated Reasoning: Introduction and Applications/Book & Disk
Anbieter: PAPER CAVALIER UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,17
EUR 6,96 Versand
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.
-
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, Los Angeles, CA, 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 80,09
EUR 29,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
A Fascinating Country in the World of Computing
Sprache: Englisch
Verlag: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Anbieter: The Book Spot, Sioux Falls, MN, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New.
-
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 212,32
EUR 14,51 Versand
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.
-
Automated Reasoning and the Discovery of Missing and Elegant Proofs
Anbieter: Peak Pearl LLC, Holly Springs, NC, USA
Verkäuferbewertung 3 von 5 Sternen
Zustand: As New. Like new, never been used.
-
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 : 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 141,76
EUR 2,31 Versand
Versand innerhalb von 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: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 150,22
EUR 2,31 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
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 149,08
EUR 17,41 Versand
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 150,17
EUR 17,41 Versand
Versand von Vereinigtes Königreich nach 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 153,77
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Automated Reasoning: 33 Basic Research Problems
Anbieter: book-link, Nufringen, BW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Sehr gut. 319 Seiten; *** Top Zustand! M25-06-J-05-VG Sprache: Deutsch Gewicht in Gramm: 500.
-
EUR 130,83
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis 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 prog.
-
Buch. Zustand: Neu. FASCIN COUNT WORLD COMP [W/ CD] | Wos Larry | Buch | Gebunden | Englisch | 1999 | World Scientific | EAN 9789810239107 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
![Bild des Verkäufers für FASCIN COUNT WORLD COMP [W/ CD] zum Verkauf von AHA-BUCH GmbH](https://pictures.abebooks.com/inventory/md/md31135114022.jpg)
FASCIN COUNT WORLD COMP [W/ CD]
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.
![Bild des Verkäufers für FASCIN COUNT WORLD COMP [W/ CD] zum Verkauf von preigu](https://pictures.abebooks.com/inventory/md/md32324692830.jpg)