Representing and Reformulating Diagonalization Methods
暂无分享,去创建一个
[1] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[2] W. Bledsoe,et al. A precondition prover for analogy. , 1995, Bio Systems.
[3] Erica Melis,et al. Decomposition techniques and their applications in automated theorem proving , 1995 .
[4] George Boolos,et al. Computability and logic , 1974 .
[5] N. Cutland. Computability: An Introduction to Recursive Function Theory , 1980 .
[6] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[7] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .