Н. К. Замов, В. И. Шаронов, “Разрешающие тактики поиска вывода в методе резолюций”, Исслед. по прикл. матем., 1977, выпуск 4,страницы 31

RUS ENG

ЖУРНАЛЫ // Исследования по прикладной математике и информатике // Архив

Исслед. по прикл. матем., 1977, выпуск 4, страницы 31–34 (Mi kuipm259)

Разрешающие тактики поиска вывода в методе резолюций

Н. К. Замов, В. И. Шаронов

Англоязычная версия: Journal of Soviet Mathematics, 1987, 39:5, 2969–2971

Реферативные базы данных: