Author information
Authors and Affiliations
Additional information
Kibernetika, Vol. 2, No. 1, pp. 23–29, 1966
Rights and permissions
About this article
Cite this article
Anufriev, F.V., Fedyurko, V.V., Letichevskii, A.A. et al. An algorithm for proving theorems in group theory. Cybern Syst Anal 2, 20–25 (1966). https://doi.org/10.1007/BF01072250
Issue Date:
DOI: https://doi.org/10.1007/BF01072250