Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic -  - Bøker - Springer International Publishing AG - 9783319418414 - 9. februar 2017
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic 1st ed. 2016 Edition

Pris
NOK 1.349

Bestillingsvarer

Forventes levert 2. - 10. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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.


446 pages, 25 black & white illustrations, 2 colour illustrations, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 9. februar 2017
ISBN13 9783319418414
Utgivere Springer International Publishing AG
Antall sider 438
Mål 155 × 235 × 25 mm   ·   825 g
Språk Fransk  
Redaktør Omodeo, Eugenio G.
Redaktør Policriti, Alberto

Mer fra samme **utgiver**