Вычислительные методы в дискретной математике

Эквивалентное преобразование КНФ, ассоциированных с задачами криптографического анализа, с помощью правил резолюции

И. Г. Хныкин


УДК: 519.7