Incompleteness theorem of formal theories from programmer's viewpoint V. M. Glushkov OriginalPaper Pages: 155 - 159
On the logic of programs R. A. PlyushkyavichyusA. Yu. PlyushkyavicheneS. P. Yukna OriginalPaper Pages: 167 - 176
Information in a calculus and combinatorial-scan performance S. Yu. Maslov OriginalPaper Pages: 176 - 183
Machine deduction of theorems on dynamic properties with vector functions of Lyapunov V. M. MatrosovS. N. Vasil'evS. A. Yadykin OriginalPaper Pages: 184 - 194
Instrumental means for the design of programs for processing mathematical texts V. M. GlushkovYu. V. KapitonovaA. A. Letichevskii OriginalPaper Pages: 195 - 201
Application of proof theory to the problem of construction of correct programs N. N. Nepeivoda OriginalPaper Pages: 202 - 209
System for processing mathematical texts Yu. V. KapitonovaK. P. VershininA. V. Lyaletskii BriefCommunication Pages: 209 - 210
Knowledge representations in robot artificial intelligence systems A. M. Kasatkin OriginalPaper Pages: 218 - 228
methodological, engineering, and mathematical aspects of computer-aided design of robot environmental-perception systems V. I. Rybak OriginalPaper Pages: 228 - 234
Symmetrical approach to the problem of automating stereoscopic measurements in photogrammetry G. L. Gimel'farb OriginalPaper Pages: 235 - 247
Situational and definitor semantics in a knowledge-representation system V. S. Lozovskii OriginalPaper Pages: 266 - 270
Dialogue between user and computer involving artificial intelligence A. M. Dovgyallo OriginalPaper Pages: 270 - 278
Bionic approach to structural simulation of purposive thinking Z. L. Rabinovich Brief Communications Pages: 286 - 289