Title: Logicheskoe upravlenie s ispolʹzovaniem ĖVM
Subjects: Automatic control, Data processing, Congresses, Process control, Symbolic and mathematical Logic