по теме "Исследования алгоритмических проблем, разработка машинного поиска логического вывода" за 1971-1975 гг.
