TY  - BOOK
AU  - Грицук, И.П.
AU  - Дун, С.Л.
TI  - О программировании доказательств на УЦВМ
T2  - Научный совет по кибернетике Академии наук УССР. Киевский дом научно-технической пропаганды. [Материалы научных семинаров по теоретическим и прикладным вопросам кибернетики]
PY  - 1964///
CY  - Киев
PB  - Б. и.
KW  - Цифровые вычислительные машины
KW  - Программирование
KW  - psbo
ER  -