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

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