Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций

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

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

• 
•