Automatic search for proofs of mathematical theorems and intelligent computers V. M. GlushkovYu. V. Kapitonova OriginalPaper Pages: 709 - 713
A brief review and bibliography of investigations into automation of search of theorem proofs in formal theories Yu. V. KapitonovaV. F. KostyrkoZ. M. Asel'derov OriginalPaper Pages: 714 - 729
Construction of a practical formal language for mathematical theories V. M. GlushkovYu. V. KapitonovaN. P. Malevanyi OriginalPaper Pages: 730 - 739
Organization of data for the obviousness algorithm seeking proofs of theorems in formalized theories Z. M. Asel'derovF. V. AnufrievYu. V. Kapitonova OriginalPaper Pages: 769 - 776
Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus F. V. AnufrievV. M. KostyakovA. I. Malashonok OriginalPaper Pages: 777 - 783
Information obtained by component-by-component observation of a vector random process A. N. EfimovV. G. Rubanov OriginalPaper Pages: 833 - 838
On an algorithm of choosing a compromise solution for linear criteria V. A. VolkovichL. F. Dagreiko OriginalPaper Pages: 851 - 855
N. Wiener's theory of the activity of excitable media A. A. LetichevskiiL. V. Reshod'ko OriginalPaper Pages: 856 - 864
Optimal period of discrete measurements of random processes V. A. Savel'evE. N. Vavilov Brief Communications Pages: 865 - 866
Self-regulation of the cerebrum (cybernetic aspects of the theory of narcosis) V. V. ChavchanidzeI. Sh. ChumburidzeM. A. Nutsubidze Book Reviews Pages: 867 - 868
First All-Union Panel Discussion: Effecting analytical transformations by computer G. E. Tseitlin Scientific Information Pages: 869 - 871