Вы хотите сообщить о наличии у Вас следующего издания:
Глушков Виктор Михайлович. Автоматизация поиска доказательства теорем в математике / АН УССР, Науч. совет по проблеме "Кибернетика", Ин-т кибернетики ; [отв. ред. Ю. В. Капитонова]. – Киев, 1974. – 110 с.