Discrete systems and problems of their realization. I Yu. V. Kapitonova OriginalPaper Pages: 521 - 525
Design characteristics of a multilanguage programming system A. P. Ershov OriginalPaper Pages: 526 - 541
Textual information and reference system (TIRS) for the journal “Kibernetika” V. M. GlushkovYu. V. KapitonovaV. A. Chuikevich OriginalPaper Pages: 542 - 549
Convergence of a gradient method with space dilation in the direction of the difference between two successive gradients N. Z. Shor OriginalPaper Pages: 564 - 570
Representation of analytic expressions for the performance of formula transformations by computer G. P. KozhevnikovaA. A. Stognii OriginalPaper Pages: 571 - 585
Matiss — A system for automating abstract mathematical research on an electronic computer R. G. BukharaevA. I. Vasil'evA. I. Enikeev OriginalPaper Pages: 586 - 595
Many-sorted languages and their connections with n-TH order languages Kh. AndrekaT. GergeiI. Nemeti OriginalPaper Pages: 605 - 612
Complexity of calculations on controlled Boolean shift registers Z. K. Grodzkii OriginalPaper Pages: 613 - 620
