Gå direkte til innholdet
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Spar

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

innbundet, 2017
Engelsk

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.

Opplag
1st ed. 2016
ISBN
9783319418414
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
9.2.2017
Antall sider
438