Filter
Sökt på: martin davies
Filter
totalt 2 träffar
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
häftad,
2018,
Engelska,
ISBN 9783319824437
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 …
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
inbunden,
2017,
Engelska,
ISBN 9783319418414
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 …