Literature Cited
Solving Data-Processing Problems Using Computer Technology (Instructions for the Use of Computers) [in Russian], Izd. Inst. Kibernetiki Akad. Nauk UkrSSR, Kiev (1972).
E. Mendelson, Introduction to Mathematical Logic, Van Nostrand-Reinhold, New York (1964).
Yu. V. Kapitonova, V. F. Kostyrko, A. V. Lyaletskii, A. I. Degtyarev, A. I. Malashonok, F. V. Anufriev, and Z. M. Asel'derov, “Brief survey and bibliography of works on automating the search for proofs of theorems in formal theories,” Kibernetika, No. 5 (1972).
Additional information
Translated from Kibernetika, No. 2, pp. 113–123, March–April, 1975.
Rights and permissions
About this article
Cite this article
Gergei, T., Dovgyallo, A.M. & Kudryatseva, S.P. Theoretical bases for design of automatic systems for solving problems of transforming homogeneous blocks of information. Cybern Syst Anal 11, 302–314 (1975). https://doi.org/10.1007/BF01069874
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069874