Gesamtpreis (1 Artikel Artikel):
Versandziel:
martin davis computability computational (31 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (31)
- 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 (29)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (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 (15)
- Keine Print-on-Demand Angebote (21)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing AG, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing AG, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 108,92
EUR 5,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 105,23
EUR 17,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 106,81
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 106,80
EUR 17,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 112,23
EUR 17,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 120,10
EUR 17,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing AG, CH, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 139,28
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. Softcover reprint of the original 1st ed. 2016.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 149,56
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Zustand: New.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing, Springer, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability,theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.
-
Zustand: New. 1st ed. 2016 edition NO-PA16APR2015-KAP.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing, 2017
ISBN 10: 3319418416 ISBN 13: 9783319418414
EUR 127,40
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Taschenbuch. Zustand: Neu. Martin Davis on Computability, Computational Logic, and Mathematical Foundations | Eugenio G. Omodeo (u. a.) | Taschenbuch | Outstanding Contributions to Logic | xxvii | Englisch | 2018 | Springer | EAN 9783319824437 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 162,98
EUR 28,67 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319418416 ISBN 13: 9783319418414
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability,theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing AG, CH, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 130,59
EUR 74,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. Softcover reprint of the original 1st ed. 2016.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 221,31
EUR 17,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 468 pages. 9.25x6.25x1.25 inches. In Stock.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (eng)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 4 von 5 Sternen
EUR 118,26
EUR 11,00 Versand
Versand von Italien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing Mai 2018, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic. 468 pp. Englisch.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic, 10)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 125,63
EUR 14,33 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 465 pages. 9.25x6.10x0.98 inches. In Stock. This item is printed on demand.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 136,82
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 438.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 438.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing Feb 2017, 2017
ISBN 10: 3319418416 ISBN 13: 9783319418414
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic. 468 pp. Englisch.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Buch 10 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer, Springer Mai 2018, 2018
ISBN 10: 3319824430 ISBN 13: 9783319824437
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis¿ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert¿s tenth problem.The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis¿ work. As a whole, this book shows how Davis¿ scientific work lies at the intersection of computability,theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 468 pp. Englisch.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 187,80
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
-
Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic)
Buch 10 von 29: Outstanding Contributions to LogicAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND.
