Fortell venner om denne varen:
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
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic
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 |