Literature Cited
V. M. Glushkov, “Some problems of the theory of automata and artificial intelligence,” Kibernetika, No. 2 (1970).
Yu. V. Kapitonova, V. F. Kostyrko, A. V. Lyaletskii, A. I. Degtyarev, and A. I. Malashonok, “Survey and bibliography of papers on automatic search for proofs of theorems in formal theories,” Kibernetika, No. 5 (1972).
Additional information
Translated from Kibernetika, No. 5, pp. 19–28, September–October, 1972.
Rights and permissions
About this article
Cite this article
Glushkov, V.M., Kapitonova, Y.V., Letichevskii, A.A. et al. Construction of a practical formal language for mathematical theories. Cybern Syst Anal 8, 730–739 (1972). https://doi.org/10.1007/BF01068445
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068445