Literature Cited
V. I. Mart'yanov, “Computerized theorem proofs,” in: Algorithmic Aspects of Algebraic Systems and Computers [in Russian], Izd. Irkutsk. Univ., Irkutsk (1979), pp. 111–127.
A. K. Zherloy and V. I. Mart'yanov, “Automation of theorem derivation in group theory,” in: Algorithmic Aspects of Algebraic Systems and Computers [in Russian], Izd. Irkuttsk. Univ., Irkutsk (1979), pp. 36–64.
A. K. Zherlov, “A modification of the theorem proof algorithm and formalization of a fragment of the set theory,” Applied Mathematics and Software [in Russian], Irkutsk (1980), pp. 172–183.
Additional information
Translated from Kibernetika, No. 2, pp. 84–86, March–April, 1984.
Rights and permissions
About this article
Cite this article
Zherlov, A.K. Strategies of search of derivations in proof bases. Cybern Syst Anal 20, 278–281 (1984). https://doi.org/10.1007/BF01069185
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069185