Udvidet returret til d. 31. januar 2025

Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Bog

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319418414
  • Indbinding:
  • Hardback
  • Sideantal:
  • 438
  • Udgivet:
  • 9. februar 2017
  • Udgave:
  • 12016
  • Størrelse:
  • 155x235x25 mm.
  • Vægt:
  • 8218 g.
  • 8-11 hverdage.
  • 2. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Brugerbedømmelser af Martin Davis on Computability, Computational Logic, and Mathematical Foundations



Find lignende bøger
Bogen Martin Davis on Computability, Computational Logic, and Mathematical Foundations findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.