Towards the Automation of Set Theory and its Logic
暂无分享,去创建一个
[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[2] Robert S. Boyer,et al. Computer Proofs of Limit Theorems , 1971, IJCAI.
[3] Hao Wang,et al. Toward Mechanical Mathematics , 1960, IBM J. Res. Dev..
[4] Dominique Pastre. Automatic Theorem Proving in Set Theory , 1978, Artif. Intell..
[5] F. Malloy Brown. Doing Arithmetic Without Diagrams , 1977, Artif. Intell..
[6] Raymond Aubin,et al. Mechanizing structural induction , 1976 .
[7] Robert S. Boyer,et al. Proving Theorems about LISP Functions , 1973, JACM.
[8] W. W. Bledsoe,et al. Splitting and Reduction Heuristics in Automatic Theorem Proving , 1971, Artif. Intell..