共 3 条
[2]
可计算性与计算复杂性导引[M]. 北京大学出版社 , 张立昂编著, 1996
[3]
On computable numbers, with an application to the Entscheidungsproblem. Alan Turing. Proceedings of the American Mathematical Society . 1936