Literature Cited
V. M. Glushkov, “Some problems in automata theory and artificial intelligence,” Kibernetika, No. 2 (1970).
F. V. Anufriev, “Algorithm for seeking proofs of theorems in logical calculi,” in: Automata Theory [in Russian], Vol. 5, IK AN SSSR, Kiev (1969).
Wang Hao, “On the path toward a mechanical mathematician,” Kiberneticheskii Sbornik, No. 5 (1962).
N. A. Shanin, G. V. Davydov, S. Yu. Maslov, G. E. Mints, V. P. Orevkov, and A. O. Slisenko, Algorithm for Computer Search for a Natural Logical Derivation in the Predicate Calculus [in Russian], Nauka, Moscow (1965).
Additional information
Translated from Kibernetika, No. 5, pp. 68–73, September–October, 1972.
Rights and permissions
About this article
Cite this article
Anufriev, F.V., Kostyakov, V.M. & Malashonok, A.I. Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus. Cybern Syst Anal 8, 777–783 (1972). https://doi.org/10.1007/BF01068448
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068448