What is the inverse method?
暂无分享，去创建一个
[1] Hao Wang. Dominoes and the Aea Case of the Decision Problem , 1990 .
[2] Larry Wos,et al. Automated reasoning - 33 basic research problems , 1988 .
[3] Michael Gelfond,et al. Theory of deductive systems and its applications , 1987 .
[4] Vladimir Lifschitz,et al. Mechanical theorem proving in the USSR; the Leningrad school , 1986 .
[5] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .
[6] A. Y. Plyushkevichene. Extension of the inverse method to axiomatic theories with equality , 1976 .
[7] James R. Slagle,et al. Automatic Theorem Proving With Renamable and Semantic Resolution , 1967, JACM.
[8] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[9] Melven Robert Krom. A DECISION PROCEDURE FOR A CLASS OF FORMULAS OF FIRST ORDER PREDICATE CALCULUS , 1964 .
[10] L. Wos,et al. The unit preference strategy in theorem proving , 1899, AFIPS '64 (Fall, part I).
[11] Joyce Friedman. A Semi-Decision Procedure for the Functional Calculus , 1963, JACM.
[12] Stig Kanger,et al. A Simplified Proof Method for Elementary Logic , 1959 .
[13] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .