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

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. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability sol...

De Martin Davis on Computability, Computational Logic, and Mathematical Foundations is een populaire optie voor Wiskundige logica. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Martin Davis on Computability, Computational Logic, and Mathematical Foundations is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Martin Davis on Computability, Computational Logic, and Mathematical Foundations
meer afbeeldingen
  • EAN9783319418414
41.455.469producten
149.200merken
923winkels