Автоматизированная обработка информации на языке предикатов /
Александров, Виктор Васильевич
Автоматизированная обработка информации на языке предикатов / В. В. Александров, Г. А. Булкин, А. О. Поляков. - Москва : Наука, 1982.
681.3
Автоматизированная обработка информации на языке предикатов / В. В. Александров, Г. А. Булкин, А. О. Поляков. - Москва : Наука, 1982.
681.3