Utvidet returrett til 31. januar 2025

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319418414
  • Bindende:
  • Hardback
  • Sider:
  • 438
  • Utgitt:
  • 9. februar 2017
  • Utgave:
  • 12016
  • Dimensjoner:
  • 155x235x25 mm.
  • Vekt:
  • 8218 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse 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.

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



Finn lignende bøker
Boken Martin Davis on Computability, Computational Logic, and Mathematical Foundations finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.