Computation and Logic in the Real World Sách Khác Của S. Barry Cooper, Benedikt Löwe & Andrea Sorbi

The Once and Future Turing The Once and Future Turing
The Once and Future Turing
2016
Alan Turing: His Work and Impact Alan Turing: His Work and Impact
Alan Turing: His Work and Impact
2013
Computability Theory Computability Theory
Computability Theory
2017
The Incomputable The Incomputable
The Incomputable
2017