Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 113,35
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par Springer International Publishing AG, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
EUR 115,70
Quantité disponible : 1 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Langue: anglais
Edité par Springer International Publishing AG, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 108,86
Quantité disponible : 1 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 118,79
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 105,17
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 106,75
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 106,74
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 112,17
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 130,29
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 438.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 120,03
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Springer International Publishing AG, CH, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 139,40
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. Softcover reprint of the original 1st ed. 2016.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 149,47
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par Springer International Publishing, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : moluna, Greven, Allemagne
EUR 113,34
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par Springer International Publishing, Springer, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 106,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 177,27
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 1st ed. 2016 edition NO-PA16APR2015-KAP.
Langue: anglais
Edité par Springer International Publishing, 2017
ISBN 10 : 3319418416 ISBN 13 : 9783319418414
Vendeur : moluna, Greven, Allemagne
EUR 127,40
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : preigu, Osnabrück, Allemagne
EUR 113,10
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 162,89
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Langue: anglais
Edité par Springer International Publishing, Springer International Publishing, 2017
ISBN 10 : 3319418416 ISBN 13 : 9783319418414
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 128,39
Quantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : 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.
Langue: anglais
Edité par Springer International Publishing AG, CH, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 130,52
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. Softcover reprint of the original 1st ed. 2016.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 223,52
Quantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 468 pages. 9.25x6.25x1.25 inches. In Stock.
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
EUR 118,26
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
Langue: anglais
Edité par Springer International Publishing Mai 2018, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 106,99
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 131,55
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 438.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 125,56
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. reprint edition. 465 pages. 9.25x6.10x0.98 inches. In Stock. This item is printed on demand.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 132,17
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 438.
Langue: anglais
Edité par Springer International Publishing Feb 2017, 2017
ISBN 10 : 3319418416 ISBN 13 : 9783319418414
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 128,39
Quantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : 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.
Langue: anglais
Edité par Springer, Springer Mai 2018, 2018
ISBN 10 : 3319824430 ISBN 13 : 9783319824437
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 106,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 180,61
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 189,64
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.