Related Books
Language: en
Pages: 454
Pages: 454
Type: BOOK - Published: 2017-01-27 - Publisher: Springer
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, c
Language: en
Pages: 631
Pages: 631
Type: BOOK - Published: 1994-02-03 - Publisher: Academic Press
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. Additions to the second ed
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 1958 - Publisher: Tata McGraw-Hill Education
Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functi
Language: en
Pages: 349
Pages: 349
Type: BOOK - Published: 2020-05-22 - Publisher: Springer Nature
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2013-06-07 - Publisher: MIT Press
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developmen