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:
  • 9783319824437
  • Format:
  • Häftad
  • Sidor:
  • 438
  • Utgiven:
  • 3. maj 2018
  • Utgåva:
  • 12016
  • Mått:
  • 234x157x33 mm.
  • Vikt:
  • 720 g.
  I lager
Leveranstid: 4-7 vardagar
Förväntad leverans: 27. november 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.