Автоматизированная обработка информации на языке предикатов: научное издание/

by Александров, В. В. Виктор Васильевич, Булкин, Г. А., Поляков, А. О.
Published 1982