МАТЕМАТИКА

Метод резолюций без скулемизации

Н. К. Замов

Казанский государственный университет им. В.И. Ульянова-Ленина

УДК: 510.66

Статья представлена к публикации: А. П. Ершов
Поступило: 16.12.1985

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

• 
•