Martin davis computability computational (32 résultats)
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 111,38
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New.
Langue : anglais
Edité par Springer International Publishing AG, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 113,73
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Langue : anglais
Edité par Springer International Publishing AG, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 111,45
EUR 5,87 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 120,46
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 109,74
EUR 14,01 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer 2018-05-03, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 107,31
EUR 18,11 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : New.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 109,73
EUR 17,54 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 129,47
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 438.
Langue : anglais
Edité par Springer 2018-05, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 114,45
EUR 18,11 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 122,20
EUR 17,54 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer International Publishing AG, CH, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 141,43
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : New. 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. Th…ey 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. Softcover reprint of the original 1st ed. 2016.
Langue : anglais
Edité par Springer International Publishing, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 113,34
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New.
Langue : anglais
Edité par Springer, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 153,68
EUR 14,01 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 63,52 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. 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, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 127,40
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Gebunden. Etat : New.
Langue : anglais
Edité par Springer, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 183,11
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. 1st ed. 2016 edition NO-PA16APR2015-KAP.
Autres imagesLangue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 113,20
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. 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 Heid…elberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Langue : anglais
Edité par Springer International Publishing, Springer International Publishing, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 64,32 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. 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 Davi…s' 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
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Rarewaves.com UK, London, Royaume-UniRarewaves.com UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 133,17
EUR 76,00 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : New. Softcover reprint of the original 1st ed. 2016.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 183,07
EUR 29,23 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Omodeo, Eugenio G. (Edited by)/ Policriti, Alberto (Edited by)
Langue : anglais
Edité par Springer, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 224,73
EUR 17,54 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Hardcover. Etat : Brand New. 468 pages. 9.25x6.25x1.25 inches. In Stock.
Langue : anglais
Edité par Springer, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 309,53
EUR 29,23 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : New. New .Ships From Multiple Locations. book.
Langue : anglais
Edité par Springer, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 118,26
EUR 11,00 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
Langue : anglais
Edité par Springer International Publishing Mai 2018, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. 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 t…he 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, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 132,64
EUR 7,60 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand pp. 438.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
- impression à la demande
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,11
EUR 14,62 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Brand New. reprint edition. 465 pages. 9.25x6.10x0.98 inches. In Stock. This item is printed on demand.
Langue : anglais
Edité par Springer, 2018
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 134,63
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND pp. 438.
Langue : anglais
Edité par Springer International Publishing Feb 2017, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. 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
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. 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 c…ore 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.
Langue : anglais
Edité par Springer, 2017
Série : Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture rigide
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 189,62
EUR 7,60 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand.
