论文信息 - Synthesis of the resolution method with the inverse method - 字舞流文

Synthesis of the resolution method with the inverse method

[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2] G. V. Daydov. On the Correction of Unprovable Formulas , 1969 .