Synthesis of the resolution method with the inverse method
Article
- 38 Downloads
- 4 Citations
Keywords
Inverse Method Resolution Method
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Literature cited
- 1.J. A. Robinson, “A machine-oriented logic based on the resolution principle,” J. Assoc. Computing Mach.,12, No. 1, 23–41 (1965).Google Scholar
- 2.S. Yu. Maslov, “The inverse method of establishing deducibility for logical calculi,” Trudy Matem. Inst. AN SSSR,98, 26–87 (1968).Google Scholar
- 3.G. V. Davydov, “On the correction of unprovable formulas,” Seminars in Mathematics, Vol. 4, Consultants Bureau, New York (1969), pp. 5–8.Google Scholar
Copyright information
© Consultants Bureau 1972