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