TY - BOOK AU - Сенюкова, А.Г. TI - Применение математической логики к решению ряда задач физики и химии T2 - Московский государственный университет имени М.В. Ломоносова. Вычислительный центр. Научный отчет VL - № 53-3К (543) PY - 1973/// CY - Москва PB - Изд-во Моск. ун-та N2 - Библиогр.: с. 72-74 ER -