Gesamtpreis (1 Artikel Artikel):
Versandziel:
gail pieper larry wos (14 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (14)
- 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
- Neu (8)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (5)
- Softcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (7)
- Keine Print-on-Demand Angebote (13)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
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!
-
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!
-
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.
-
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.
-
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 181,24
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 6 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 207,38
EUR 14,44 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 172,91
EUR 75,09 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 6 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,54
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,84
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 149,10
EUR 13,84 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 149,09
EUR 17,33 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 167,39
EUR 17,33 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
EUR 149,24
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
