Изготовление электронных копий любых изданий

Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ Сб. науч. тр. АН УССР, Науч. совет по пробл. "Кибернетика", Ин-т кибернетики им. В. М. Глушкова; [Редкол.: Ю. В. Капитонова (отв. ред.) и др.]