Протокол совместного заседания семинаров "Системное программирование" и "Теоретическое программирование", где был заслушан доклад Н.Н. Непейводы, представляемый к защите в качестве диссертации на соискание ученой степени доктора физико-математических наук. Дата: 07.05.1987 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов, Вадим Евгеньевич Котов Персоналии: Николай Николаевич Непейвода
