О программировании доказательств на УЦВМ
[[64-36434]]/русский/О программировании доказательств на УЦВМ .О программировании доказательств на УЦВМ.О программировании доказательств на УЦВМ.Киев/Б. и./, 1964 ( ). - Б. и., 1964. - 18 с. : схем. ; 22 см. - (Научный совет по кибернетике Академии наук УССР. Киевский дом научно-технической пропаганды. [Материалы научных семинаров по теоретическим и прикладным вопросам кибернетики] / Семинар "Теория автоматов").О программировании доказательств на УЦВМ. Киев, 1964 .
На обл. только загл. серии.Цифровые вычислительные машины -- Программирование/psbo/
На обл. только загл. серии.Цифровые вычислительные машины -- Программирование/psbo/