Marknadens största urval
Snabb leverans

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Om Martin Davis on Computability, Computational Logic, and Mathematical Foundations

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319418414
  • Format:
  • Inbunden
  • Sidor:
  • 438
  • Utgiven:
  • 9. februari 2017
  • Utgåva:
  • 12016
  • Mått:
  • 155x235x25 mm.
  • Vikt:
  • 8218 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 11. december 2024

Beskrivning av Martin Davis on Computability, Computational Logic, and Mathematical Foundations

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.

Användarnas betyg av Martin Davis on Computability, Computational Logic, and Mathematical Foundations



Hitta liknande böcker
Boken Martin Davis on Computability, Computational Logic, and Mathematical Foundations finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.